Backward chaining - PDFSEARCH.IO - Document Search Engine

Backward chaining
Results: 12

#	Item
1	http://eulersharp.sourceforge.net/GUIDE Euler Proof Mechanism Euler is an inference engine supporting logic based proofs. It is a backward-forward-backward chaining reasoner enhanced with Euler path detection. Add to Reading List Source URL: eulersharp.sourceforge.net Language: English
2	Backward induction or forward reasoning? An experiment of stochastic alternating offer bargaining by Siegfried K. Berninghaus, Werner Güth, Stephan Schosser Add to Reading List Source URL: econpapers.wiwi.kit.edu Language: English - Date: 2012-07-11 03:42:31 Statistics Backward induction Ultimatum game Subgame perfect equilibrium Backward chaining Subgame Inductive reasoning Game theory Problem solving Science
3	Corvid systems, potential customers, support staff, clients and employees are able to obtain ® Expert Systems - Bringing Expertise to Those that Need It Add to Reading List Source URL: www.exsys.com Language: English - Date: 2013-10-15 22:35:49 Decision theory Logic Reasoning Artificial intelligence Logic in computer science Inference Forward chaining KEE Backward chaining Expert systems Science Knowledge
4	PowerLoom-Course-Lecture3 Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-05-29 19:28:47 Knowledge LOOM Inference Prolog Rabies Semantic reasoner Knowledge representation and reasoning Logic programming Backward chaining Reasoning Logic Science
5	Artificial Intelligence through Prolog by Neil C. Rowe Add to Reading List Source URL: cdn.preterhuman.net Language: English - Date: 2012-10-01 15:31:57 Functional languages Lisp programming language Reasoning Prolog Artificial intelligence Logic programming Common Lisp Backtracking Backward chaining Software engineering Computing Computer programming
6	Microsoft Word - Using backward chaining to teach functional life skills _potential_.final.1011docx.docx Add to Reading List Source URL: www.nsttac.org Language: English - Date: 2012-05-14 12:36:53 Chaining Backward chaining Skill Life skills Behavior Cognition Philosophy of mind Behaviorism Expert systems Logic in computer science
7	Efficient Proving for Practical Distributed Access-Control Systems∗ Lujo Bauer† , Scott Garriss† , and Michael K. Reiter‡ Abstract. We present a new technique for generating a formal proof that an access request Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:10 Mathematical logic Expert systems Logic in computer science Reasoning Logic programming Mathematical proof NP Credential Backward chaining Logic Mathematics Knowledge
8	Efficient Proving for Practical Distributed Access-Control Systems ∗ Lujo Bauer† Scott Garriss† Michael K. Reiter‡ Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:10 Mathematical logic Expert systems Logic in computer science Reasoning Identity management Logic programming Forward chaining Credential Backward chaining Mathematics Logic Knowledge
9	Probabilistic Backward and Forward Reasoning in Stochastic Relational Worlds Tobias Lang [removed] Marc Toussaint [removed] Add to Reading List Source URL: www.icml2010.org Language: English - Date: 2010-06-13 09:06:57 Artificial intelligence Expert systems Logic in computer science Logic programming Backward chaining Automated planning and scheduling Inference Function Planner Logic Reasoning Mathematics
10	Microsoft Word - Using backward chaining to teach functional life skills _potential_.final.1011docx.docx Add to Reading List Source URL: nsttac.org Language: English - Date: 2012-05-14 12:36:53 Chaining Backward chaining Skill Life skills Behavior Cognition Philosophy of mind Behaviorism Expert systems Logic in computer science