540 search results - page 46 / 108 » A Computational Logic Approach to Syllogisms in Human Reason... |
110
click to vote
LPNMR
2007
Springer
15 years 6 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
93
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
A novel style of multi-agent system specification and deployment is described, in which familiar methods from computational logic are re-interpreted to a new context. One view of ...
106
Voted
ILP
2003
Springer
15 years 5 months ago
2003
Springer
Query optimization is used frequently in relational database management systems. Most existing techniques are based on reordering the relational operators, where the most selective...
83
Voted
ISWC
2002
IEEE
15 years 5 months ago
2002
IEEE
We present a menu interface designed primarily for headworn displays that have a small field-of-view. To support interaction with a hierarchical menu, we logically divide an absol...