1162 search results - page 146 / 233 » Monotonic Semantic Interpretation |
119
click to vote
SPIESR
1996
15 years 1 months ago
1996
Many applications would benefit if media objects such as images could be selected and classified (or clustered) such that "conceptually similar" images are grouped toget...
132
Voted
ENTCS
2006
15 years 19 days ago
2006
This paper presents a game semantics for LP, Artemov's Logic of Proofs. The language of LP extends that of propositional logic by adding formula-labeling terms, permitting us...
129
click to vote
CORR
1998
Springer
15 years 9 days ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
122
click to vote
BIRTHDAY
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
118
Voted
SYNTHESE
2011
14 years 7 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...