3446 search results - page 76 / 690 » A Reasoning Algorithm for pD* |
IJCAI
1993
15 years 2 months ago
1993
The situation recognition system, to which this paper is devoted, receives as input a stream of time-stamped events; it performs recognition of instances of occurring situations, ...
222
click to vote
FCSC
2011
14 years 5 months ago
2011
Description logics (DLs) are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and ...
146
click to vote
DLOG
2009
14 years 11 months ago
2009
Ontology matching is one of the key research topics in the field of the Semantic Web. There are many matching systems that generate mappings between different ontologies either aut...
108
click to vote
AI
2010
Springer
15 years 1 months ago
2010
Springer
We develop a new automated reasoning technique for the situation calculus that can handle a class of queries containing universal quantication over situation terms. Although such ...
136
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
A new exact algorithm for computing answer sets of logic programs is presented and analyzed. The algorithm takes a logic program in Kernel normal form as an input and computes its ...