Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
421	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-02-15 08:39:45 Computer programming Database management systems 2APL Prolog Database Declarative programming Computing Software engineering Multi-agent systems
422	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:06:58 Ω-automaton Symbol Automata theory Quantum information theory
423	Verifying space and time requirements for resource-bounded agents Natasha Alechina a Mark Jago a Piergiorgio Bertoli b Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-01-13 12:43:20 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
424	The Sustainable City and Biking: Implications for Health, Environment, and Economy John I. Gilderbloom, PhD; Natasha DeJarnett, MPH; Brian O’Neill; Zachary Kenitzer Introduction "I think [the bicycle] has done more to Add to Reading List Source URL: sun.louisville.edu Language: English - Date: 2013-09-16 14:33:43 Segregated cycle facilities Bicycle-friendly Bicycle Obesity Louisville Kentucky Smart growth Cul-de-sac League of American Bicyclists Transport Sustainable transport Cycling
425	Preference-based belief revision for rule-based agents Natasha Alechina School of Computer Science, University of Nottingham, UK ([removed]) Mark Jago Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-07-07 11:44:54 Logic Reason maintenance Science Knowledge Ethology Knowledge representation Logic programming Belief revision
426	Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:44:11 Science AgentSpeak Jason Belief revision Logic programming Algorithm Programming language Belief–desire–intention model Epistemology Multi-agent systems Computing Artificial intelligence
427	Reasoning about agent execution strategies (Short Paper) Natasha Alechina Mehdi Dastani Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:11:49 2APL Large cardinals Symbol
428	Decidable Model-Checking for a Resource Logic with Production of Resources Natasha Alechina1 and Brian Logan1 and Hoang Nga Nguyen1 and Franco Raimondi2 Abstract. Several logics for expressing coalitional ability under r Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-24 12:32:32 Philosophy of language Philosophy of mind Semantics Metaphilosophy Philosophy Linear temporal logic Logic Model theory Interpretation
429	Ontology Debugging with Truth Maintenance Systems Hai H. Nguyen, Natasha Alechina and Brian Logan1 1 Introduction Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-06-11 08:05:55 Information science Ontology Semantic Web Technical communication Reason maintenance Tbox Description logic Automated teller machine Axiom Science Information Knowledge representation
430	Computationally grounded account of belief and awareness for AI agents Natasha Alechina and Brian Logan Abstract We discuss the problem of designing a computationally grounded logic Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-06-28 12:27:18 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic

UPDATE