Sciweavers

1137 search results - page 17 / 228
» Logic Programming for Knowledge Representation
Sort
View
102
Voted
LICS
2010
IEEE
14 years 7 months ago
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications
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...
Andrea Calì, Georg Gottlob, Thomas Lukasiew...
ASP
2003
Springer
15 years 2 months ago
OntoDLP: a Logic Formalism for Knowledge Representation
Francesco Calimeri, Stefania Galizia, Massimo Ruff...
61
Voted
LICS
2002
IEEE
15 years 2 months ago
Description Logics: Foundations for Class-based Knowledge Representation
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
DLOG
2006
14 years 11 months ago
Static Knowledge Representation of Multi-Agent System's Specification by Description Logic
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...
Haiyan Che, Jigui Sun