225 search results - page 19 / 45 » OntoDLP: a Logic Formalism for Knowledge Representation |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
ABSTRACT. Reasoning with diagrams: cognitive and computational perspectives. Diagrammatic, analogical or iconic representations are often contrasted with linguistic or logical repr...
CORR
2006
Springer
13 years 7 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...
SAC
2005
ACM
14 years 1 months ago
2005
ACM
Finding rapidly suitable experts in an organization to compose a team able to solve specific tasks is a typical problem in large consulting firms. In this paper we present a Des...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
ATAL
2007
Springer
14 years 1 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...