Doherty - PDFSEARCH.IO - Document Search Engine

Doherty
Results: 1049

#	Item
501	Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas Patrick Doherty Dept. of Computer Science Link¨oping University S[removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:08:21 Propositional calculus Model theory Boolean algebra Formal languages Predicate logic Propositional variable First-order logic Interpretation Propositional formula Logic Mathematical logic Mathematics
502	A Reduction Result for Circumscribed Semi-Horn Formulas Patrick Doherty Witold L ukaszewiczy Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:11:00 Generalization Atomic formula Conjunctive normal form Circumscription Logic programming First-order logic Logic Predicate logic Well-formed formula
503	Deductive Planning with Temporal Constraints using TAL Martin Magnusson and Patrick Doherty I Link6pings universitet, Link6ping[removed], Sweden patdo@ida, liu. se, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:38:33 Theoretical computer science Knowledge representation Epistemology Logic in computer science Constraint logic programming Constraint programming Event calculus First-order logic Forcing Mathematical logic Logic Logic programming
504	Generating UAV Communication Networks for Monitoring and Surveillance Per-Magnus Olsson, Jonas Kvarnstr¨om, Patrick Doherty Oleg Burdakov, Kaj Holmberg Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 08:48:15 Tree B-tree T-tree R-tree Unmanned aerial vehicle Bridge Tango tree Binary search tree Graph theory Binary trees Knowledge representation
505	Fundamenta Informaticae ?? ([removed]–15 IOS Press A Correspondence Framework between Three-Valued Logics and Similarity-Based Approximate Reasoning Patrick Doherty∗ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 09:26:04 Model theory Non-classical logic Propositional calculus Philosophical logic Boolean algebra Interpretation Modal logic First-order logic Function Logic Mathematical logic Mathematics
506	Temporal Composite Actions with Constraints Patrick Doherty† Jonas Kvarnstr¨om† Andrzej Szałas†,‡ Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-04-25 03:46:50 Epistemology Frame problem Knowledge representation Logic programming Science Dynamical system Symbol First-order logic Mathematical logic Logic Artificial intelligence
507	Declarative PTIME Queries to Relational Databases Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:26:32 Query languages Formal languages Programming paradigms Predicate logic Datalog FO Well-formed formula Generalization Interpretation Logic Mathematical logic Theoretical computer science
508	A Distributed Task Specification Language for Mixed-Initiative Delegation∗ Patrick Doherty David Landén Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:34:55 Tree Goal node Military terminology Signals intelligence Unmanned aerial vehicle
509	1 Probabilistic Roadmap Based Path Planning for an Autonomous Unmanned Helicopter Per Olof Pettersson and Patrick Doherty Link¨oping University Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:47:20 Classical mechanics Differential topology Robot control Topology Probabilistic roadmap Motion planning Unmanned aerial vehicle Flight controller Nonholonomic system Mathematics Physics Algebraic topology
510	General Domain Circumscription and its First-Order Reduction Patrick Doherty and Witold L ukaszewicz and Andrzej Szalas Abstract Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:24:52 Model theory Circumscription Interpretation Function Predicate variable Term Skolem normal form Second-order logic FO Mathematical logic Logic Mathematics

UPDATE