3776 search results - page 151 / 756 » Partition-Based Logical Reasoning |
120
Voted
ICFCA
2009
Springer
15 years 10 months ago
2009
Springer
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
145
Voted
CAEPIA
2009
Springer
15 years 4 months ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
159
Voted
JLP
2007
15 years 3 months ago
2007
This work faces the problem of web service selection and composition, discussing the advantages that derive from the inclusion, in a web service declarative description, of the hi...
150
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
A plausible definition of "reasoning" could be "algebraically manipulating previously acquired knowledge in order to answer a new question". This definition co...
146
click to vote
TARK
2009
Springer
15 years 10 months ago
2009
Springer
The logical omniscience feature assumes that an epistemic agent knows all logical consequences of her assumptions. This paper offers a general theoretical framework that views log...