共 50 条
- [21] Norms, logics and information systems - New studies in deontic logic and computer science - Introduction NORMS, LOGICS AND INFORMATION SYSTEMS: NEW STUDIES IN DEONTIC LOGIC AND COMPUTER SCIENCE, 1999, 49 : 1 - 14
- [24] Reasoning With and About Norms in Logical Argumentation COMPUTATIONAL MODELS OF ARGUMENT, COMMA 2022, 2022, 353 : 332 - 343
- [25] Reasoning about Typicality in Preferential Description Logics LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, 5293 : 192 - +
- [26] PROPOSITIONAL LOGICS FOR THE REASONING ABOUT KNOWLEDGE INTEGRATIONS ICAART: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, 2012, : 36 - 45
- [27] Probability Logics for Reasoning About Quantum Observations Logica Universalis, 2023, 17 : 175 - 219
- [28] Reasoning about XML with Temporal Logics and Automata LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2008, 5330 : 97 - 112
- [30] Reasoning about Actions Meets Strategic Logics LOGIC, RATIONALITY, AND INTERACTION (LORI 2013), 2013, 8196 : 162 - 175