593 search results - page 102 / 119 » RDF and Logic: Reasoning and Extension |
87
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
In many applications, tasks can be delegated to intelligent agents. In order to carry out a task, an agent should reason about what types of resources the task requires. However, ...
189
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
82
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We study the complexity of the propositional minimal inference problem. Its complexity has been extensively studied before because of its fundamental importance in artificial int...
ICLP
2005
Springer
15 years 5 months ago
2005
Springer
Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new ...
107
click to vote
CONCUR
2003
Springer
15 years 5 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...