Publications


Ordered by theme (roughly) | Publications ordered by publication date | Current DBLP listing | Scholar Google | Academic Search


Books

Second-Order Quantifier Elimination: Foundations, Computational Aspects and Applications. Together with D. M. Gabbay and A. Szalas. Studies in Logic: Mathematical Logic and Foundations, Vol. 12, College Publications.
Back-cover, BiBTeX, Publisher's info.
Order at amazon.co.uk, Order at amazon.com, Order at amazon.de.

Surveys

Automated reasoning / decidability / proof theory

Reasoning about images and graphs

Abductive and inductive reasoning

Ontology extraction, ontology processing

Forgetting, uniform interpolation, second-order quantifier elimination

Querying

Automated automated reasoning

Model building / minimal model reasoning

Benchmarking

First-order logic

Modal logic, dynamic modal logics

See also Description logic, knowledge representation, ontology reasoning and Temporal logic

Description logic, knowledge representation, ontology reasoning

See also Modal logic, dynamic modal logics

Intuitionistic logic and other non-classical logics

Temporal logic

Second-order logic

Algebraic logic

Agents

System descriptions

Special journal issues

Proceedings

Miscellaneous


Renate A. Schmidt
Home | Publications | Tools | FM Group | School | Man Univ

Last modified: 08 Jul 20
Copyright © 1996-2020 Renate A. Schmidt, School of Computer Science, Univ. Man., schmidt@cs.man.ac.uk