Sciweavers

454 search results - page 43 / 91
» Representation results for defeasible logic
Sort
View
APIN
2002
106views more  APIN 2002»
13 years 8 months ago
Querying Temporal Constraint Networks: A Unifying Approach
We develop the scheme of indefinite constraint databases using first-order logic as our representation language. When this scheme is instantiated with temporal constraints, the res...
Manolis Koubarakis
AROBOTS
1998
113views more  AROBOTS 1998»
13 years 8 months ago
Grounding Mundane Inference in Perception
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
Ian Horswill
ECML
2006
Springer
14 years 10 days ago
Toward Robust Real-World Inference: A New Perspective on Explanation-Based Learning
Abstract. Over the last twenty years AI has undergone a sea change. The oncedominant paradigm of logical inference over symbolic knowledge representations has largely been supplant...
Gerald DeJong
FAST
2010
13 years 11 months ago
quFiles: The Right File at the Right Time
is a unifying abstraction that simplifies data management by encapsulating different physical representations of the same logical data. Similar to a quBit (quantum bit), the parti...
Kaushik Veeraraghavan, Jason Flinn, Edmund B. Nigh...
GPC
2010
Springer
14 years 3 months ago
Distributed Island-Based Query Answering for Expressive Ontologies
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
Sebastian Wandelt, Ralf Möller