Alexander Bochman

Available identifiers

zbMath Open bochman.alexanderMaRDI QIDQ190252

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alexander Bochman