Thomas Meyer
6 papers · 2011–2023 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Half
๐
Interdisciplinary Bridge ยท Bronze
Top co-authors
Research topics
Keywords
non-monotonic reasoning
(2)
conditional reasoning
(2)
lexicographic inference
(2)
syntax splitting
(2)
belief change
(1)
defeasible reasoning
(1)
formal logic
(1)
belief base
(1)
structural analysis
(1)
rational closure
(1)
epistemic state
(1)
agm postulate
(1)
preferential framework
(1)
non-monotonic inference
(1)
logic-based reasoning
(1)
right weakening
(1)
knowledge representation
(1)
conditional belief
(1)
semantic analysis
(1)
formal methods
(1)
Papers
Conditional Syntax Splitting for Non-monotonic Inference Operators
AAAI 2023
Lexicographic Entailment, Syntax Splitting and the Drowning Problem
IJCAI 2022
Contextual Conditional Reasoning
AAAI 2021
Simple Conditionals with Constrained Right Weakening
IJCAI 2019
Belief Change in a Preferential Non-monotonic Framework
IJCAI 2017
Disambiguating temporal-contrastive connectives for machine translation
ACL 2011