Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
461	Minimal preference change Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 School of Computer Science, University of Nottingham Department of Philosophy, Tsinghua University, Beijing, China Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-07-26 06:11:06 Knowledge representation Logic Logic programming Social psychology Science Contraction Preference Edge contraction Artificial intelligence Operator theory Consumer theory Belief revision
462	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
463	Belief ascription under bounded resources ∗ Natasha Alechina and Brian Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK ({nza,bsl}@cs.nott.ac.uk) Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-08-27 04:02:10 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
464	Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-14 10:59:30 Logic programming Science Consumer theory Social psychology Preference Contraction Axiom Belief revision Knowledge representation Logic
465	A logic of situated resource-bounded agents Natasha Alechina and Brian Logan University of Nottingham School of Computer Science Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-01-10 12:58:33 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
466	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:16:57 Maude system Software engineering Computing
467	Multi-Cycle Query Caching in Agent Programming Tristan Behrens Natasha Alechina Mehdi Dastani Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2013-07-25 09:53:08 2APL AgentSpeak Cache Hoarding Database Multi-agent systems Computing Artificial intelligence
468	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
469	Special thanks to Hazon’s wonderful staff in particular Judith Belasco, Anna Hanau, Daniel Infeld, Leah Koenig, Nigel Savage, Natasha Aronson, Rachel Loebl for developing Hazon’s How to Host a Sustainable Shabbat M Add to Reading List Source URL: www.birthrightisraelnext.org Language: English - Date: 2014-08-15 12:36:58 Cuisine Food Shabbat Local food Kashrut Meal Melaveh Malkah Jewish cuisine Jewish culture Food and drink
470	2727 Leo Harris Parkway \| Eugene, Oregon 97401 \| @OregonSB \| Facebook.com/OregonSB \| GoDucks.com ATHLETICS COMMUNICATIONS Softball Contact - Joe Waltasti (O): [removed] \| (C): [removed]removed] \| @GoD Add to Reading List Source URL: www.goducks.com Language: English - Date: 2014-04-10 18:50:19 Stacey Nuveman Pac-12 Network Natasha Watley Pacific-12 Conference Sports in the United States Softball Television in the United States

UPDATE