1137 search results - page 17 / 228 » Knowledge Representation with Logic Programs |
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--This paper summarizes results on a recently introduced family of Datalog-based languages, called Datalog+/-, which is a new framework for tractable ontology querying, and...
ASP
2003
Springer
14 years 22 days ago
2003
Springer
LICS
2002
IEEE
14 years 12 days ago
2002
IEEE
DLOG
2006
13 years 9 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...
AICOM
2008
13 years 6 months ago
2008
