Sciweavers

2611 search results - page 104 / 523
» A Logic for Concepts and Similarity
Sort
View
LPNMR
2009
Springer
15 years 6 months ago
Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
Abstract. Belief Logic Programming (BLP) is a novel form of quantitative logic programming in the presence of uncertain and inconsistent information, which was designed to be able ...
Hui Wan, Michael Kifer
LORI
2009
Springer
15 years 6 months ago
Epistemic Games in Modal Logic: Joint Actions, Knowledge and Preferences All Together
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
Emiliano Lorini, François Schwarzentruber, ...
AAAI
2007
15 years 4 months ago
Description Logics for Multi-Issue Bilateral Negotiation with Incomplete Information
We propose a framework for multi-issue bilateral negotiation, where issues are expressed and related to each other via Description Logics. Agents’ goals are expressed through (c...
Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciasc...
COGSCI
2004
74views more  COGSCI 2004»
15 years 1 months ago
Feature centrality and property induction
A feature is central to a concept to the extent that other features depend on it. Four studies tested the hypothesis that people will project a feature from a base concept to a ta...
Constantinos Hadjichristidis, Steven A. Sloman, Ro...
LPAR
2004
Springer
15 years 7 months ago
Nonmonotonic Description Logic Programs: Implementation and Experiments
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
Thomas Eiter, Giovambattista Ianni, Roman Schindla...