262 search results - page 7 / 53 » Nonmonotonic Description Logic Programs: Implementation and ... |
125
Voted
HIS
2009
14 years 7 months ago
2009
Recent years have witnessed the wide recognition of the importance of ontology and rule in the AI research. In this paper, we report our implementation and evaluation of a rule-ba...
100
Voted
JAPLL
2007
14 years 9 months ago
2007
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
CLIMA
2004
14 years 10 months ago
2004
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
CADE
2010
Springer
14 years 10 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
ASP
2001
Springer
15 years 1 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...