Planning Domain Definition Language - PDFSEARCH.IO - Document Search Engine

Planning Domain Definition Language
Results: 128

#	Item
1	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
2	An experimental evaluation of Max-SAT and PB solvers on over-subscription planning problems Marco Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy. Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2010-05-19 04:29:26 Theoretical computer science Automated planning and scheduling Logic in computer science Mathematics Computational complexity theory Boolean algebra Electronic design automation Formal methods Boolean satisfiability problem Maximum satisfiability problem Planning Domain Definition Language Satz
3	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:53 Finite automata Timed automaton Logic in computer science Automated planning and scheduling Fluent Finite-state machine Theoretical computer science Planning Domain Definition Language Models of computation
4	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
5	Non-Deterministic Planning With Conditional Effects Christian Muise and Sheila A. McIlraith and Vaishak Belle Department of Computer Science University of Toronto, Toronto, Canada. {cjmuise,sheila,vaishak}@cs.toronto.edu Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-05-05 00:06:38 Amyloidosis Philosophy Cognitive science Automated planning and scheduling Planning Domain Definition Language PRNP Neuropsychology Causality Economic model Algorithm Planning
6	Computing Contingent Plans via Fully Observable Non-Deterministic Planning Christian Muise and Vaishak Belle and Sheila A. McIlraith Department of Computer Science University of Toronto, Toronto, Canada. {cjmuise,vaishak Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-05-05 00:06:37 Automated planning and scheduling Conditionals Philosophy Cognitive science Amyloidosis Logic Planning Domain Definition Language Planning Conditional mood PRNP STRIPS Causality
7	Advances in Cognitive SystemsSubmitted; publishedOnline Goal Recognition through Mirroring: Humans and Agents Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:36:50 Educational psychology Markov models Cognition Automated planning and scheduling Planning Domain Definition Language Hidden Markov model Motivation Problem solving Intelligence Motion planning
8	Improved Non-Deterministic Planning by Exploiting State Relevance Add to Reading List Source URL: haz.ca Language: English - Date: 2013-10-28 07:18:32 Automated planning and scheduling Amyloidosis Planning Domain Definition Language PRNP Planning Algorithm Prion Planner Determinism
9	Toward Automatic Ontology Curation with Similarity-Based Reasoning Scott E. Friedman, J. Benton, & Dan Bryce SIFT, LLC 319 1st Ave North, Suite 400 Minneapolis, MN 55401 {friedman, jbenton, dbryce}@sift.net Add to Reading List Source URL: qr15.sift.net Language: English - Date: 2015-08-11 09:14:44 Ontology Information science Knowledge representation Technical communication Semantic Web Upper ontology Planning Domain Definition Language Web Ontology Language Analogy Knowledge representation and reasoning Anomaly detection Category of being
10	Leveraging FOND Planning Technology to Solve Multi-Agent Planning Problems Christian Muise, Paolo Felli, Tim Miller, Adrian R. Pearce, Liz Sonenberg Department of Computing and Information Systems, University of Melbourn Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:39 Multi-agent systems Causality Automated planning and scheduling Planning Domain Definition Language Determinism Agent-based model Planning