Abstract | ||
---|---|---|
Reasoning about Action and Change (RAC) and Answer Set Programming (ASP) are two well-known fields in AI for logic-based reasoning. Each paradigm bears unique features and a possible integration can lead to more effective ways to address hard AI problems. In this paper, we report on implementations that embed RAC formalisms and concepts in ASP and present the experimental results obtained, building on a graph-based problem setting that introduces casual and temporal requirements. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-07064-3_42 | ARTIFICIAL INTELLIGENCE: METHODS AND APPLICATIONS |
Keywords | Field | DocType |
Answer Set Programming, Event Calculus, Reasoning about Action and Change, Multi-Agent Action Coordination | Graph,Event calculus,Programming language,Computer science,Implementation,Artificial intelligence,Casual,Rotation formalisms in three dimensions,Answer set programming,Machine learning | Conference |
Volume | ISSN | Citations |
8445 | 0302-9743 | 4 |
PageRank | References | Authors |
0.51 | 15 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Filippos Gouidis | 1 | 4 | 0.85 |
Theodore Patkos | 2 | 144 | 18.96 |
Giorgos Flouris | 3 | 678 | 51.45 |
Dimitris Plexousakis | 4 | 2586 | 326.38 |