Thomas Andreas Meyer

81 papers A* 15A 5B 4C 3Misc 2Journal 27Unranked 25

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Extending Defeasibility for Propositional Standpoint Logics. JELIA (2) Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak
2025	J	`jnl`	Extending Defeasibility for Propositional Standpoint Logics. CoRR Nicholas Leisegang, Thomas Andreas Meyer, Ivan Varzinczak
2025	—	`conf`	Rational Inference in Formal Concept Analysis. CONCEPTS Lucas Carr, Nicholas Leisegang, Thomas Andreas Meyer, Sergei Obiedkov
2025	—	`conf`	Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective. NMR Nicholas Leisegang, Giovanni Casini, Thomas Andreas Meyer
2025	J	`jnl`	Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective. CoRR Nicholas Leisegang, Giovanni Casini, Thomas Andreas Meyer
2024	—	`conf`	Defeasible Justification for KML-Style Logic. Description Logics Victoria Chama, Steve Wang, Thomas Andreas Meyer, Giovanni Casini
2024	—	`conf`	The Role of Syntax in Inductive Inference: A Property-based Study. NMR Jesse Heyninck, Richard Booth, Thomas Andreas Meyer
2023	A*	`conf`	Conditional Syntax Splitting for Non-monotonic Inference Operators. AAAI Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer, Jonas Philipp Haldimann, Christoph Beierle
2023	J	`jnl`	Current and Future Challenges in Knowledge Representation and Reasoning. CoRR James P. Delgrande, Birte Glimm, Thomas Andreas Meyer, Miroslaw Truszczynski, Frank Wolter
2022	—	`conf`	Asking Human Reasoners to Judge Postulates of Belief Change for Plausibility. NMR Clayton K. Baker, Thomas Andreas Meyer
2022	—	`conf`	Conditional Syntax Splitting, Lexicographic Entailment and the Drowning Effect. NMR Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
2022	A*	`conf`	Lexicographic Entailment, Syntax Splitting and the Drowning Problem. IJCAI Jesse Heyninck, Gabriele Kern-Isberner, Thomas Andreas Meyer
2022	—	`conf`	Situated Conditionals - A Brief Introduction. NMR Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2021	A*	`conf`	Contextual Conditional Reasoning. AAAI Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2021	J	`jnl`	Situated Conditional Reasoning. CoRR Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2021	J	`jnl`	The Probabilistic Description Logic. Theory Pract. Log. Program. Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
2020	J	`jnl`	The Probabilistic Description Logic BALC. CoRR Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
2018	Misc	`conf`	Maximizing Expected Impact in an Agent Reputation Network. KI Gavin Rens, Abhaya Nayak, Thomas Andreas Meyer
2018	J	`jnl`	On Rational Entailment for Propositional Typicality Logic. CoRR Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2018	Misc	`conf`	Probabilistic Belief Revision via Similarity of Worlds Modulo Evidence. KI Gavin Rens, Thomas Andreas Meyer, Gabriele Kern-Isberner, Abhaya Nayak
2018	—	`conf`	Probabilistic Belief Update via Mixing Endogenous Actions and Exogenous Events. DKB/KIK@KI Gavin Rens, Thomas Andreas Meyer
2018	—	`conf`	The Bayesian Description Logic BALC. Description Logics Leonard Botha, Thomas Andreas Meyer, Rafael Peñaloza
2017	A*	`conf`	Belief Change in a Preferential Non-monotonic Framework. IJCAI Giovanni Casini, Thomas Andreas Meyer
2017	J	`jnl`	Imagining Probabilistic Belief Change as Imaging (Technical Report). CoRR Gavin Rens, Thomas Andreas Meyer
2016	A	`conf`	On Revision of Partially Specified Convex Probabilistic Belief Bases. ECAI Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
2016	J	`jnl`	Revising Incompletely Specified Convex Probabilistic Belief Bases. CoRR Gavin Rens, Thomas Andreas Meyer, Giovanni Casini
2016	A*	`conf`	Using Defeasible Information to Obtain Coherence. KR Giovanni Casini, Thomas Andreas Meyer
2015	—	`conf`	A Hybrid POMDP-BDI Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. ICAART (Revised Selected Papers) Gavin Rens, Thomas Andreas Meyer
2015	—	`conf`	A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
2015	—	`conf`	A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
2015	—	`conf`	Hybrid POMDP-BDI - An Agent Architecture with Online Stochastic Planning and Desires with Changing Intensity Levels. ICAART (1) Gavin Rens, Thomas Andreas Meyer
2015	—	`conf`	Introducing Defeasibility into OWL Ontologies. ISWC (2) Giovanni Casini, Thomas Andreas Meyer, Kodylan Moodley, Uli Sattler, Ivan Varzinczak
2015	A*	`conf`	On the Entailment Problem for a Logic of Typicality. IJCAI Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
2011	J	`jnl`	Admissible and Restrained Revision CoRR Richard Booth, Thomas Andreas Meyer
2011	—	`conf`	Bidirectional Reachability-Based Modules. Description Logics Riku Nortje, Arina Britz, Thomas Andreas Meyer
2011	J	`jnl`	How to Revise a Total Preorder. J. Philos. Log. Richard Booth, Thomas Andreas Meyer
2011	J	`jnl`	On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann
2010	J	`jnl`	Double preference relations for generalised belief change. Artif. Intell. Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
2010	J	`jnl`	Equilibria in social belief removal. Synth. Richard Booth, Thomas Andreas Meyer
2010	A	`conf`	Horn Belief Change: A Contraction Core. ECAI Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann
2009	—	`conf`	A General Family of Preferential Belief Removal Operators. LORI Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera
2009	—	`conf`	Modelling Object Typicality in Description Logics. Australasian Conference on Artificial Intelligence Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
2009	A*	`conf`	Next Steps in Propositional Horn Contraction. IJCAI Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak
2008	A*	`conf`	Equilibria in Social Belief Removal. KR Richard Booth, Thomas Andreas Meyer
2008	J	`jnl`	Iterated Belief Change and the Recovery Axiom. J. Philos. Log. Samir Chopra, Aditya Ghose, Thomas Andreas Meyer, Ka-Shu Wong
2008	A*	`conf`	Semantic Preferential Subsumption. KR Katarina Britz, Johannes Heidema, Thomas Andreas Meyer
2007	C	`conf`	On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ECSQARU Richard Booth, Thomas Andreas Meyer
2007	J	`jnl`	Relaxations of semiring constraint satisfaction problems. Inf. Process. Lett. Louise Leenen, Thomas Andreas Meyer, Aditya Ghose
2006	A*	`conf`	A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. KR Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong
2006	B	`conf`	A Relaxation of a Semiring Constraint Satisfaction Problem Using Combined Semirings. PRICAI Louise Leenen, Thomas Andreas Meyer, Peter Harvey, Aditya Ghose
2006	J	`jnl`	Admissible and Restrained Revision. J. Artif. Intell. Res. Richard Booth, Thomas Andreas Meyer
2006	—	`conf`	Computing Maximally Satisfiable Terminologies for the Description Logic Description Logics Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth
2006	A*	`conf`	Finding Maximally Satisfiable Terminologies for the Description Logic ALC. AAAI Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan
2006	A	`conf`	Mutual enrichment through nested belief change. AAMAS Laurent Perrussel, Jean-Marc Thévenin, Thomas Andreas Meyer
2006	J	`jnl`	Social choice theory, belief merging, and strategy-proofness. Inf. Fusion Samir Chopra, Aditya K. Ghose, Thomas Andreas Meyer
2005	J	`jnl`	Belief Liberation (and Retraction). Stud Logica Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
2005	A*	`conf`	Knowledge Integration for Description Logics. AAAI Thomas Andreas Meyer, Kevin Lee, Richard Booth
2005	C	`conf`	Mediation Using m-States. ECSQARU Thomas Andreas Meyer, Pilar Pozos Parra, Laurent Perrussel
2004	—	`conf`	A Classification of Ontology Modification. Australian Conference on Artificial Intelligence Kevin Lee, Thomas Andreas Meyer
2004	A	`conf`	A Unifying Semantics for Belief Change. ECAI Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
2004	—	`conf`	A unifying semantics for belief change. NMR Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
2004	A*	`conf`	Logical Foundations of Negotiation: Outcome, Concession, and Adaptation. AAAI Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
2004	A*	`conf`	Logical Foundations of Negotiation: Strategies and Preferences. KR Thomas Andreas Meyer, Norman Y. Foo, Rex Kwok, Dongmo Zhang
2004	A*	`conf`	Negotiation as Mutual Belief Revision. AAAI Dongmo Zhang, Norman Y. Foo, Thomas Andreas Meyer, Rex Kwok
2003	B	`conf`	Belief liberation (and retraction). TARK Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
2003	—	`conf`	Some Logics of Belief and Disbelief. Australian Conference on Artificial Intelligence Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
2002	A	`conf`	Iterated revision and the axiom of recovery: A unified treatment via epistemic states. ECAI Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
2002	J	`jnl`	Iterated revision and the axiom of recovery: a unified treatment via epistemic states CoRR Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
2002	—	`conf`	Iterated revision and the axiom of recovery: a unified treatment via epistemic states. NMR Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
2002	J	`jnl`	Some logics of belief and disbelief CoRR Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
2002	—	`conf`	Some logics of belief and disbelief. NMR Samir Chopra, Johannes Heidema, Thomas Andreas Meyer
2002	B	`conf`	Syntactic Representations of Semantic Merging Operations. PRICAI Thomas Andreas Meyer, Aditya Ghose, Samir Chopra
2002	J	`jnl`	Systematic Withdrawal. J. Philos. Log. Thomas Andreas Meyer, Johannes Heidema, Willem Adrian Labuschagne, Louise Leenen
2001	J	`jnl`	Basic Infobase Change. Stud Logica Thomas Andreas Meyer
2001	J	`jnl`	On the semantics of combination operations. J. Appl. Non Class. Logics Thomas Andreas Meyer
2001	C	`conf`	Social Choice, Merging, and Elections. ECSQARU Thomas Andreas Meyer, Aditya Ghose, Samir Chopra
2000	J	`jnl`	Infobase Change: A First Approximation. J. Log. Lang. Inf. Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema
2000	B	`conf`	Merging Epistemic States. PRICAI Thomas Andreas Meyer
2000	J	`jnl`	On the semantics of merging CoRR Thomas Andreas Meyer
2000	J	`jnl`	Refined Epistemic Entrenchment. J. Log. Lang. Inf. Thomas Andreas Meyer, Willem Adrian Labuschagne, Johannes Heidema
1999	—	`conf`	Basic Infobase Change. Australian Joint Conference on Artificial Intelligence Thomas Andreas Meyer