Search results
From MaRDI portal
- Glenn Shafer (section List of research outcomes)The logic of events 2002-06-27 Paper Probability and finance. It's only a game! 2001-11-04 Paper Probability judgment in artificial intelligence and expert...10 bytes (16 words) - 01:14, 11 December 2023
- Katsumi Inoue (section List of research outcomes)2006-11-01 Paper Logics in Artificial Intelligence 2006-10-25 Paper Inductive Logic Programming 2006-10-19 Paper Computational Logic in Multi-Agent Systems...10 bytes (13 words) - 14:59, 11 December 2023
- application of theorem proving to problem solving Generality in artificial intelligence Representing the language of the causal calculator in answer set...15 bytes (161 words) - 19:34, 3 February 2024
- databasecommonsense knowlegeGenerality in artificial intelligenceTuring Award Mathematics Subject Classification ID Artificial intelligence (68T99) Biographies...15 bytes (351 words) - 13:30, 5 February 2024
- for intelligence in brains, minds, and machines 👍 👎 AI Generality and Spearman’s Law of Diminishing Returns 👍 👎 Towards a Universal Theory of Artificial...15 bytes (411 words) - 07:27, 30 January 2024
- First-order Theory of Communication and Multi-agent Plans Generality in artificial intelligence Theorem-Proving on the Computer Narratives in the Situation...15 bytes (825 words) - 06:56, 30 January 2024
- (94A17) Reasoning under uncertainty in the context of artificial intelligence (68T37) General topics in artificial intelligence (68T01) Cites Work Title not available...15 bytes (380 words) - 01:46, 2 February 2024
- Publication date: 23 March 2012 Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi...15 bytes (279 words) - 10:46, 30 January 2024
- systems in artificial intelligence (68T05) Computational learning theory (68Q32) Cited In (only showing first 100 items - show all) Robustness of stochastic...15 bytes (1,113 words) - 01:25, 30 January 2024
- Classification ID Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)...15 bytes (517 words) - 20:19, 3 February 2024
- Yanyan Li Publication date: 2 November 2021 Published in: Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://arxiv.org/abs/1910...15 bytes (509 words) - 05:48, 2 February 2024
- Classification ID Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17) Logic in artificial intelligence (68T27) Cites Work Title...15 bytes (906 words) - 06:57, 30 January 2024
- Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies...15 bytes (682 words) - 13:07, 7 February 2024
- ID Logic programming (68N17) Logic in artificial intelligence (68T27) Cites Work Solving the multiple instance problem with axis-parallel rectangles. Inductive...15 bytes (586 words) - 10:04, 31 January 2024
- 1007/978-3-642-03754-2_2 Mathematics Subject Classification ID Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge...15 bytes (899 words) - 05:42, 5 February 2024
- and reasoning in artificial intelligence: A review A circumscriptive calculus of events A semantic characterization of a useful fragment of the situation...15 bytes (863 words) - 06:25, 30 January 2024
- Complexity of Mining Maximal Frequent Subgraphs Knowledge representation analysis of graph mining AI*IA 2005: Advances in Artificial Intelligence Cited In (1)...15 bytes (449 words) - 08:24, 8 February 2024
- (68W30) Problem books (00A07) Formalization of mathematics in connection with theorem provers (68V20) General topics in artificial intelligence (68T01)...15 bytes (362 words) - 14:40, 8 February 2024
- Mathematics Subject Classification ID Learning and adaptive systems in artificial intelligence (68T05) Neural biology (92C20) Cites Work Title not available...15 bytes (192 words) - 14:33, 28 November 2024
- Gregory F. Cooper Publication date: 1990 Published in: Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10...15 bytes (1,076 words) - 10:23, 3 February 2024
