Sciweavers

3776 search results - page 420 / 756
» Partition-Based Logical Reasoning
Sort
View
JOLLI
2006
86views more  JOLLI 2006»
15 years 4 months ago
Types as Graphs: Continuations in Type Logical Grammar
Applying the programming-language concept of continuations, we propose a new multimodal analysis of quantification in Type Logical Grammar. Our approach naturally gives rise to a n...
Chris Barker, Chung-chieh Shan
DEBU
2002
120views more  DEBU 2002»
15 years 4 months ago
DAML+OIL: a Description Logic for the Semantic Web
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precis...
Ian Horrocks
JELIA
2010
Springer
15 years 3 months ago
Similarity-Based Inconsistency-Tolerant Logics
Abstract. Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practic...
Ofer Arieli, Anna Zamansky
JUCS
2010
121views more  JUCS 2010»
15 years 3 months ago
Some Views on Information Fusion and Logic Based Approaches in Decision Making under Uncertainty
: Decision making under uncertainty is a key issue in information fusion and logic based reasoning approaches. The aim of this paper is to show noteworthy theoretical and applicati...
Yang Xu, Jun Liu, Luis Martínez, Da Ruan
ICLP
2009
Springer
16 years 5 months ago
Logic Programming for Multiagent Planning with Negotiation
Multiagent planning deals with the problem of generating plans for multiple agents. It requires formalizing ways for the agents to interact and cooperate, in order to achieve their...
Tran Cao Son, Enrico Pontelli, Chiaki Sakama