Sciweavers

JETAI
2007
131views more  JETAI 2007»
13 years 3 months ago
A computational architecture for heterogeneous reasoning
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
Dave Barker-Plummer, John Etchemendy
JAPLL
2007
135views more  JAPLL 2007»
13 years 3 months ago
Open answer set programming for the semantic web
We extend answer set programming (ASP) with, possibly infinite, open domains. Since this leads to undecidable reasoning, we restrict the syntax of programs, while carefully guard...
Stijn Heymans, Davy Van Nieuwenborgh, Dirk Vermeir
AIL
2005
134views more  AIL 2005»
13 years 3 months ago
Legal Case-based Reasoning as Practical Reasoning
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...
Katie Atkinson, Trevor J. M. Bench-Capon
ENTCS
2007
87views more  ENTCS 2007»
13 years 3 months ago
Temporal Logics of Knowledge and their Applications in Security
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
Clare Dixon, M. Carmen Fernández Gago, Mich...
JOCN
2006
79views more  JOCN 2006»
13 years 3 months ago
fMRI Evidence for a Three-Stage Model of Deductive Reasoning
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
Thomas Fangmeier, Markus Knauff, Christian C. Ruff...
JCIT
2008
94views more  JCIT 2008»
13 years 3 months ago
Finding Semantic Errors in the Rule-base of Production Systems, and Reasoning with Insufficient Input Data Petri-net-based Appro
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
Hong-Youl Lee
JAIR
2008
126views more  JAIR 2008»
13 years 3 months ago
Extended RDF as a Semantic Foundation of Rule Markup Languages
Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts based on base...
Anastasia Analyti, Grigoris Antoniou, Carlos Viega...
IGPL
2008
77views more  IGPL 2008»
13 years 3 months ago
On Ignorance and Contradiction Considered as Truth-Values
A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusi...
Didier Dubois
ARTMED
2006
173views more  ARTMED 2006»
13 years 3 months ago
Case-based reasoning in the health sciences
The Health Sciences provide a lively niche for case based reasoning applications. The main justification for this is that case based reasoning is a unique methodology in artificial...
Isabelle Bichindaritz
ENTCS
2008
109views more  ENTCS 2008»
13 years 3 months ago
Separation Logic for Multiple Inheritance
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...
Chenguang Luo, Shengchao Qin