Results 221 to 226 of about 9,016 (226)

On the Complexity of Linking Deductive and Abstract Argument Systems.

Michael J. Wooldridge, Paul E. Dunne, Simon Parsons   +2 more
openaire   +1 more source

Propositional calculus for contradictory deductive systems

Studia Logica, 1969
exaly  

Deductive systems and R-congruences of pre-Hilbert algebras

Soft Computing
Andrzej Walendziak, Walendziak Andrzej
exaly  

The Aditi Deductive Database System (Extented Abstract).

openaire  

Abstraction-based deductive-algorithmic verification of reactive systems.

openaire   +1 more source

Tool supported real-time system verification with combination of abstraction/deduction and model checking. (Abstractions booléennes pour la vérification des systèmes temps-réel).

openaire   +1 more source