scientific article; zbMATH DE number 873168
From MaRDI portal
Publication:4876413
zbMath0876.03014MaRDI QIDQ4876413
No author found.
Publication date: 2 May 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in artificial intelligence (68T27) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Natural language processing (68T50) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Other applications of logic (03B80)
Related Items (12)
A positive information logic for inferential information ⋮ Developments in concurrent Kleene algebra ⋮ Logics of Rational Interaction ⋮ A Logic for Belief Contraction ⋮ Solving Linear Equations in *-continuous Action Lattices ⋮ Infinitary action logic with multiplexing ⋮ The equational theory of Kleene lattices ⋮ The finitely axiomatizable complete theories of non-associative arrow frames ⋮ A sketch of a dynamic epistemic semiring ⋮ On the ambiguation of Polish notation ⋮ Nonmonotonic reasoning by inhibition nets ⋮ Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras
This page was built for publication:
