Search results
From MaRDI portal
- evaluations: from theory to experimentation 2015-07-10 Paper A Time-Situated Meta-logic for Characterizing Goal-Processing Bounded Agents 2012-09-21 Paper...10 bytes (16 words) - 12:28, 28 January 2024
- Publication Date of Publication Type The Probabilistic Description Logic 2023-12-12 Paper Situated conditional reasoning 2023-06-27 Paper A polynomial time subsumption...10 bytes (18 words) - 04:57, 9 December 2023
- Coalition logic with individual, distributed and common knowledge1 2020-02-13 Paper Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection...10 bytes (16 words) - 07:43, 9 December 2023
- Preference-based belief revision for rule-based agents 2009-06-16 Paper A logic of situated resource-bounded agents 2009-03-24 Paper Verifying Time and Communication...10 bytes (16 words) - 07:43, 9 December 2023
- system for logic programming with entailment 1994-11-29 Paper Records for logic programming 1994-05-05 Paper On the expressivity of feature logics with negation...10 bytes (17 words) - 16:04, 10 December 2023
- Reasoning for Description Logics 2015-01-14 Paper Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic 2014-01-17 Paper Defeasible...10 bytes (16 words) - 12:42, 7 October 2023
- linear temporal logic 2023-07-06 Paper Cardinality Restrictions Within Description Logic Connection Calculi 2023-06-28 Paper Situated conditional reasoning...10 bytes (17 words) - 21:08, 22 September 2023
- Model for Situated Artificial Institutions 2014-10-14 Paper A normative programming language for multi-agent organisations 2012-01-13 Paper A logic of trust...10 bytes (18 words) - 06:51, 7 October 2023
- Paper Situated epistemic updates 2022-06-24 Paper Neighbourhood semantics for quantified relevant logics 2022-06-01 Paper HOW MUCH PROPOSITIONAL LOGIC SUFFICES...10 bytes (16 words) - 23:05, 24 September 2023
- Paper Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests 2023-06-02 Paper Relevant epistemic logic with public announcements...10 bytes (16 words) - 16:33, 6 October 2023
- 2018-05-14 Paper https://portal.mardi4nfdi.de/entity/Q5324180 2009-08-03 Paper Logic Programming and Nonmonotonic Reasoning 2007-11-07 Paper Representing the...10 bytes (17 words) - 14:41, 6 October 2023
- 1998-11-15 Paper https://portal.mardi4nfdi.de/entity/Q4217932 1998-11-11 Paper Situated simplification 1998-07-23 Paper Order-sorted feature theory unification...10 bytes (16 words) - 14:17, 24 September 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4109656 1974-01-01 Paper On the logic of constructive mathematics 1972-01-01 Paper On constructive mathematics...10 bytes (21 words) - 14:49, 28 January 2024
- graphene nanopores 2016-08-26 Paper DESIGN OF A NANOTORI-METALLOFULLERENE LOGIC GATE 2015-10-26 Paper Ion selectivity using membranes comprising functionalized...10 bytes (19 words) - 22:15, 8 December 2023
- paradox; modal logic; reflection; metamathematics; self-reference; belief; situated logic Mathematics Subject Classification ID 03B45: Modal logic (including...15 bytes (47 words) - 15:40, 5 February 2024
- first-order logic; knowledge representation; natural language processing; indexicals; automatic theorem-proving; self-utterances; situated logic Mathematics...15 bytes (49 words) - 02:36, 31 January 2024
- Publication date: 1989 zbMATH Keywords subjunctive conditionals; situated conditionals logic Mathematics Subject Classification ID 68T10: Pattern recognition...15 bytes (24 words) - 22:58, 3 February 2024
- negation; constructive infon logic; situated reasoning Mathematics Subject Classification ID 03B60: Other nonclassical logic 03B65: Logic of natural languages...15 bytes (38 words) - 04:03, 7 March 2024
- semantics; Kripke semantics; situated-automata Mathematics Subject Classification ID 03B45: Modal logic (including the logic of norms) 68T30: Knowledge representation...15 bytes (34 words) - 15:30, 6 February 2024
- Probability and inductive logic 03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)...15 bytes (45 words) - 20:56, 4 February 2024