Search results
From MaRDI portal
- Publication Date of Publication Type Distributed reason maintenance for multiagent systems 2014-08-14 Paper https://portal.mardi4nfdi.de/entity/Q3047059...10 bytes (18 words) - 03:44, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q4287520 1994-04-12 Paper Skeptical reason maintenance and belief revision 1994-01-19 Paper https://portal.mardi4nfdi.de/entity/Q4028833...10 bytes (16 words) - 14:41, 11 December 2023
- for neighborhood systems 2020-06-24 Paper Reason-maintenance Belief Logic with Uncertain Information 2019-11-22 Paper Neighborhood Systems: Rough Set Approximations...10 bytes (18 words) - 06:28, 9 December 2023
- Publication Date of Publication Type Reason-maintenance Belief Logic with Uncertain Information 2019-11-22 Paper Possibilistic Justification Logic 2017-07-13...10 bytes (18 words) - 06:17, 7 October 2023
- 2002-07-10 Paper Representing meta-knowledge in Poole systems 2002-01-02 Paper Dynamic Argument Systems: A Formal Model of Argumentation Processes Based on...10 bytes (17 words) - 22:31, 24 September 2023
- complex formation 2018-11-13 Paper Influence of spatial structure on the maintenance of sexual reproduction 2018-10-22 Paper Emergence of complexity in evolving...10 bytes (17 words) - 19:15, 8 December 2023
- 2021-11-02 Paper 15 years of consequence-based reasoning 2020-06-04 Paper Maintenance of datalog materialisations revisited 2019-08-28 Paper Foundations of...10 bytes (17 words) - 11:26, 6 October 2023
- zbMATH Keywords intuitionistic logic; CWA; ATMS; logic-programming; reason-maintenance-systems Mathematics Subject Classification ID 68T99: Artificial intelligence...15 bytes (39 words) - 15:13, 31 January 2024
- knowledge bases; contradictions; truth maintenance systems; reason maintenance systems; belief revision systems Mathematics Subject Classification ID 68T20:...15 bytes (77 words) - 02:55, 31 January 2024
- complexity; belief revision; belief contraction; preferences; reason maintenance systems; rule-based agents Mathematics Subject Classification ID 03B42:...15 bytes (68 words) - 23:01, 30 January 2024
- Artificial Intelligence (Search for Journal in Brave) zbMATH Keywords reason-maintenance system Mathematics Subject Classification ID DB lookup for MSC labels...15 bytes (40 words) - 01:18, 30 January 2024
- complete problem; dependency-directed backtracking; nonmonotonic truth maintenance systems; stable set semantics Mathematics Subject Classification ID DB lookup...15 bytes (60 words) - 11:23, 3 February 2024
- Fuzziness and Knowledge-Based Systems (Search for Journal in Brave) zbMATH Keywords fuzzy logic; nonmonotonicity; reason maintenance Mathematics Subject Classification...15 bytes (64 words) - 22:50, 3 February 2024
- proof theory; incomplete information; non-monotonic logic; truth maintenance systems; non-monotonic predicate calculus; non-monotonic sentential calculus...15 bytes (142 words) - 04:52, 31 January 2024
- template files. Note that "$" should be replaced by "${DOLLAR}" for some exotic reason. To add a "custom" extension, you can always mount it in the docker-compose...86 bytes (501 words) - 17:00, 11 May 2022
- DUNE, deal.II and Trilinos for numerical simulation, and computer algebra systems like SageMath, SINGULAR, Macaulay2, GAP, polymake, Magma, Pari/GP, Linbox...47 KB (6,620 words) - 17:12, 30 August 2023
