4617 search results - page 359 / 924 » Automation of Diagrammatic Reasoning |
162
click to vote
CADE
2003
Springer
16 years 7 months ago
2003
Springer
This paper presents on-going researches on theoretical and practical issues of combining rewriting based automated theorem proving and user-guided proof development, with the stron...
167
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Monadic query languages over trees currently receive considerable interest in the database community, as the problem of selecting nodes from a tree is the most basic and widesprea...
152
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
The meaning and mathematical consequences of linearity (managing without a presumed ability to copy) are studied for a path-based model of processes which is also a model of affi...
160
click to vote
LICS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents an algorithm for a non-standard logicminimization problem that arises in £ -valued propositional logic. The problem is motivated by the potential for obtainin...
190
click to vote
DEON
2010
Springer
15 years 11 months ago
2010
Springer
In 1926, Mally proposed the first formal deontic system. As Mally and others soon realized, this system had some rather strange consequences. We show that the strangeness of Mally...