3776 search results - page 387 / 756 » Partition-Based Logical Reasoning |
135
Voted
ENTCS
2010
15 years 5 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
135
Voted
ENTCS
2008
15 years 5 months ago
2008
In the book on Advanced Topics in Types and Programming Languages, Crary illustrates the reasoning technique of logical relations in a case study about equivalence checking. He pr...
119
click to vote
JAPLL
2007
15 years 4 months ago
2007
Employing a logic program approach, this paper focuses on applying preferential reasoning to theory revision, both by means of preferences among existing theory rules, and by means...
135
Voted
JUCS
2010
15 years 3 months ago
2010
: In this paper we consider a multiagent system with multiple ontologies. The agents maintain the ontologies individually which leads to frequent changes and possible knowledge inc...
164
click to vote
BIRTHDAY
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This chapter considers the different temporal constructs appeared in the literature of temporal conceptual models (timestamping and evolution constraints), and it provid...