Search results
From MaRDI portal
- Paper Reasoning about Other Agents’ Beliefs under Bounded Resources 2009-11-12 Paper Verifying time, memory and communication bounds in systems of reasoning...10 bytes (16 words) - 07:43, 9 December 2023
- Paper Reasoning about Other Agents’ Beliefs under Bounded Resources 2009-11-12 Paper Verifying time, memory and communication bounds in systems of reasoning...10 bytes (16 words) - 07:43, 9 December 2023
- context of communication 2018-09-12 Paper Temporal abductive reasoning about biochemical reactions 2018-09-12 Paper Reasoning about trust and aboutness in the...10 bytes (16 words) - 02:45, 10 December 2023
- logical deduction 2023-07-28 Paper An approach to inconsistency-tolerant reasoning about probability based on Łukasiewicz logic 2023-07-26 Paper On conditional...10 bytes (17 words) - 15:59, 7 December 2023
- Paper Forbidding undesirable agreements 2015-02-26 Paper Reasoning about Dynamic Normative Systems 2015-01-14 Paper A formal model of emotion triggers: an...10 bytes (21 words) - 01:52, 9 December 2023
- theory (LOFT12) 2022-11-22 Paper Reasoning about general preference relations 2022-11-08 Paper Revision by communication 2022-08-30 Paper https://portal...10 bytes (21 words) - 12:12, 11 December 2023
- Compositional reasoning about active objects with shared futures 2015-11-10 Paper A sound and complete reasoning system for asynchronous communication with shared...10 bytes (18 words) - 02:00, 7 October 2023
- in KeY and their application to history-based reasoning about collection 2024-01-08 Paper A proof system for asynchronously communicating deterministic...10 bytes (20 words) - 16:50, 9 December 2023
- in recommender systems 2009-11-17 Paper Spatial reasoning in a fuzzy region connection calculus 2009-08-31 Paper Temporal reasoning about fuzzy intervals...10 bytes (19 words) - 21:55, 11 December 2023
- Paper https://portal.mardi4nfdi.de/entity/Q4427876 2003-09-14 Paper Reasoning about causality between distributed nonatomic events 2003-08-28 Paper https://portal...10 bytes (18 words) - 21:58, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q4692502 1993-06-05 Paper Reasoning about continuous systems 1990-01-01 Paper https://portal.mardi4nfdi.de/entity/Q3783500...10 bytes (19 words) - 14:29, 28 January 2024
- for Automated Reasoning about List-Manipulating Programs with Infinite Data 2012-06-15 Paper A Logic-Based Framework for Reasoning about Composite Data...10 bytes (16 words) - 21:44, 24 September 2023
- complete reasoning system for asynchronous communication with shared futures 2014-10-23 Paper Observable Behavior of Dynamic Systems: Component Reasoning for...10 bytes (16 words) - 02:00, 7 October 2023
- Paper Reasoning about Other Agents’ Beliefs under Bounded Resources 2009-11-12 Paper Verifying time, memory and communication bounds in systems of reasoning...10 bytes (16 words) - 21:22, 22 September 2023
- Linear Systems 2017-08-25 Paper Control of Systems With Uncertain Initial Conditions 2017-08-08 Paper Stability Analysis of Switched Linear Systems Defined...10 bytes (18 words) - 09:22, 9 December 2023
- https://portal.mardi4nfdi.de/entity/Q5016798 2021-12-14 Paper Epistemic reasoning about rationality and bids in auctions 2021-12-01 Paper A lightweight epistemic...10 bytes (17 words) - 21:50, 10 December 2023
- Paper Temporal reasoning: A relativistic model 1991-01-01 Paper Scheduling Precedence Graphs in Systems with Interprocessor Communication Times 1989-01-01...10 bytes (18 words) - 13:00, 24 September 2023
- unified logical framework for explanations in classifier systems 2023-03-30 Paper Reasoning about belief, evidence and trust in a multi-agent setting 2022-11-02...10 bytes (17 words) - 12:24, 7 October 2023
- Paper Reasoning about Other Agents’ Beliefs under Bounded Resources 2009-11-12 Paper Verifying time, memory and communication bounds in systems of reasoning...10 bytes (18 words) - 10:39, 6 October 2023
- Logic in Multi-Agent Systems 2005-11-23 Paper Argumentation in Multi-Agent Systems 2005-09-14 Paper Argumentation in Multi-Agent Systems 2005-09-14 Paper https://portal...10 bytes (17 words) - 13:12, 24 September 2023