2540 search results - page 20 / 508 » Abstract Logics as Dialgebras |
EPIA
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
LFCS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In order to verify programs with pointer variables, we introduce a temporal logic LTLmem whose underlying assertion language is the quantifier-free fragment of separatio...
AMAST
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. This paper introduces matching logic, a novel framework for defining axiomatic semantics for programming languages, inspired from operational semantics. Matching logic sp...
ILP
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
VMCAI
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Techniques such as verification condition generation, preditraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Pr...