1737 search results - page 155 / 348 » On Interpolation in Existence Logics |
180
click to vote
ISCAS
2005
IEEE
16 years 24 days ago
2005
IEEE
: Asynchronous circuits are often presented as a means of achieving low power operation. We investigate their suitability for low-energy applications, where long battery life and d...
182
click to vote
ARGMAS
2004
Springer
16 years 19 days ago
2004
Springer
Negotiation can be conceived as the exchange of messages among self-interested agents in order to settle on an agreement over a given issue. They decide which messages to send acco...
209
click to vote
DIAGRAMS
2004
Springer
16 years 18 days ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
219
click to vote
JELIA
2004
Springer
16 years 17 days ago
2004
Springer
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
206
click to vote
LPNMR
2004
Springer
16 years 17 days ago
2004
Springer
This paper develops a declarative language, P-log, that combines logical and probabilistic arguments in its reasoning. Answer Set Prolog is used as the logical foundation, while c...