Jago - PDFSEARCH.IO - Document Search Engine

Jago
Results: 78

#	Item
41	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
42	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
43	Resource-bounded belief revision and contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science University of Nottingham Nottingham, UK {nza,mtw,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:58:47 Logic programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
44	Modal logics for communicating rule-based agents Natasha Alechina and Mark Jago and Brian Logan1 Abstract. In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for mul Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-08-16 14:42:18 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
45	Resource-Bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science, University of Nottingham, Nottingham, UK {nza, mtw, bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:56:48 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision
46	Belief revision for rule-based agents Natasha Alechina, Mark Jago and Brian Logan abstract. Agents which perform inferences on the basis of possibly unreliable information need an ability to revise their beliefs if they Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-08 13:35:01 Logic Literal Artificial intelligence Science Computing Logic programming Belief revision Knowledge representation
47	Resource-Bounded Belief Revision and Contraction Natasha Alechina, Mark Jago, and Brian Logan School of Computer Science, University of Nottingham, Nottingham, UK {nza, mtw, bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logic Artificial intelligence Theory of justification Contraction Science Epistemology Logic programming Knowledge representation Belief revision
48	Belief revision for rule-based agents Natasha Alechina, Mark Jago and Brian Logan abstract. Agents which perform inferences on the basis of possibly unreliable information need an ability to revise their beliefs if they Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Logic Literal Artificial intelligence Science Computing Logic programming Belief revision Knowledge representation
49	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: 2009-09-11 12:40:28 Logical truth Reasoning Automated theorem proving Logic programming Substitution Inference Logic Mathematical logic Propositional calculus
50	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: 2009-09-11 12:40:28 Logic Reason maintenance Science Knowledge Ethology Knowledge representation Logic programming Belief revision

UPDATE