2540 search results - page 47 / 508 » Abstract Logics as Dialgebras |
179
click to vote
TPHOL
2009
IEEE
16 years 29 days ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
150
click to vote
LPNMR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
189
click to vote
IFSA
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. The paper develops fuzzy attribute logic, i.e. a logic for reasoning about formulas of the form A ⇒ B where A and B are fuzzy sets of attributes. A formula A ⇒ B repr...
155
click to vote
LPNMR
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We present a purely model-theoretic semantics for disjunctive logic programs with negation, building on the infinite-valued approach recently introduced for normal logic...
205
click to vote
EPIA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We consider the representation and execution of agents specified using temporal logics. Previous work in this area has provided a basis for the direct execution of agent...