Sciweavers

2308 search results - page 5 / 462
» Representing Symbolic Reasoning
Sort
View
DLOG
1996
13 years 8 months ago
Representing SGML Documents in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
KR
1994
Springer
13 years 11 months ago
An Application of Terminological Logics to Case-based Reasoning
A key problem in case-based reasoning is the representation, organization and maintenance of case libraries. While current approaches rely on heuristic and psychologically inspire...
Jana Koehler
AAAI
2007
13 years 9 months ago
Spatial Representation and Reasoning for Human-Robot Collaboration
How should a robot represent and reason about spatial information when it needs to collaborate effectively with a human? The form of spatial representation that is useful for robo...
William G. Kennedy, Magdalena D. Bugajska, Matthew...
ICLP
2010
Springer
13 years 11 months ago
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions
Probabilistic Logic Programming is an active field of research, with many proposals for languages, semantics and reasoning algorithms. One such proposal, Logic Programming with A...
Fabrizio Riguzzi, Terrance Swift