3446 search results - page 205 / 690 » A Reasoning Algorithm for pD* |
127
click to vote
ALDT
2009
Springer
15 years 11 months ago
2009
Springer
Judgment aggregation is a formal theory reasoning about how a group of agents can aggregate individual judgments on connected propositions into a collective judgment on the same pr...
126
click to vote
ESWS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One of the major challenges in managing networked and dynamic ontologies is to handle inconsistencies in single ontologies, and inconsistencies introduced by integrating ...
139
click to vote
ACSD
2007
IEEE
15 years 11 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
147
click to vote
ASP
2005
Springer
15 years 10 months ago
2005
Springer
This paper discusses the background, algorithms and implementation techniques to support programmers in ‘debugging’ logic programs under the answer set semantics. We first inv...
112
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
We describe a sound, terminating, and complete matching algorithm for terms built over flexible arity function symbols and context, function, sequence, and individual variables. C...