Sciweavers

2308 search results - page 5 / 462
» Representing Symbolic Reasoning
Sort
View
DLOG
1996
15 years 29 days ago
Representing SGML Documents in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
82
Voted
KR
1994
Springer
15 years 3 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
104
Voted
AAAI
2007
15 years 2 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...
103
Voted
ICLP
2010
Springer
15 years 3 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