Alexander Bochman

Available identifiers

zbMath Open bochman.alexanderMaRDI QIDQ190252

List of research outcomes

Publication	Date of Publication	Type
On logics and semantics for general logic programs	2024-10-24	Paper
An inferential theory of causal reasoning	2024-06-26	Paper
Default consequence relations as a logical framework for logic programs	2022-08-30	Paper
A Logical Theory of Causality	2021-04-02	Paper
Sequential dynamic logic	2015-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5414672	2014-05-07	Paper
https://portal.mardi4nfdi.de/entity/Q4906883	2013-02-28	Paper
Causal dynamic inference	2013-02-18	Paper
Yet Another Characterization of Strong Equivalence	2012-08-29	Paper
Here and There among Logics for Logic Programming	2012-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q3007248	2011-06-21	Paper
Default logic generalized and simplified	2009-07-06	Paper
A Causal Theory of Abduction	2007-12-10	Paper
A causal approach to nonmonotonic reasoning	2006-02-07	Paper
Explanatory Nonmonotonic Reasoning	2005-05-03	Paper
Collective Argumentation and Disjunctive Logic Programming	2004-01-28	Paper
Brave nonmonotonic inference and its kinds	2003-07-27	Paper
https://portal.mardi4nfdi.de/entity/Q4797421	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4546703	2003-02-25	Paper
Entrenchment versus dependence: Coherence and foundations in belief change	2002-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2727768	2001-07-31	Paper
Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness	2001-07-17	Paper
Belief contraction as nonmonotonic inference	2000-10-03	Paper
A foundationalist view of the AGM theory of belief change	2000-06-04	Paper
A logical foundation for logic programming II: Semantics of general logic programs	1999-08-17	Paper
A foundational theory of belief and belief change	1999-04-28	Paper
On the relation between default and modal nonmonotonic reasoning	1999-01-12	Paper
A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion	1998-10-04	Paper
https://portal.mardi4nfdi.de/entity/Q3126167	1997-03-23	Paper
Modal nonmonotonic logics demodalized	1997-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5288468	1993-08-18	Paper
Concerted instant-interval temporal semantics. II: Temporal valuations and logics of change	1990-01-01	Paper
Concerted instant-interval temporal semantics. I: Temporal ontologies	1990-01-01	Paper

Research outcomes over time

This page was built for person: Alexander Bochman