共 50 条
- [31] Knowledge Representation for Argumentation in Agent-Oriented Programming Languages PROCEEDINGS OF 2016 5TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS 2016), 2016, : 13 - 18
- [32] MODEL OF REPRESENTATION OF MULTIVARIATE TASKS FOR AUTOMATED CONTROL OF PROGRAMMING KNOWLEDGE VESTNIK TOMSKOGO GOSUDARSTVENNOGO UNIVERSITETA-UPRAVLENIE VYCHISLITELNAJA TEHNIKA I INFORMATIKA-TOMSK STATE UNIVERSITY JOURNAL OF CONTROL AND COMPUTER SCIENCE, 2020, (53): : 110 - 117
- [33] Answer Set Programming, the Solving Paradigm for Knowledge Representation and Reasoning SCALABLE UNCERTAINTY MANAGEMENT, SUM 2010, 2010, 6379 : 2 - 2
- [35] Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming LOGIC PROGRAMMING, 2009, 5649 : 417 - 431
- [36] A method of train regulation planning by the constraint programming using train regulation knowledge IEEJ Trans. Electron. Inf. Syst., 2 (332-342):
- [38] The Integration of Constraint Programming and Mathematical Programming IEEE/SOLI'2008: PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON SERVICE OPERATIONS AND LOGISTICS, AND INFORMATICS, VOLS 1 AND 2, 2008, : 1818 - 1822
- [39] Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 69 - 70
- [40] Functional-Logic Programming for Web Knowledge Representation, Sharing and Querying KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT, EKAW 2014, 2014, 8876 : 333 - 338