Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
531	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:32:05 Metalogic Interpretation First-order logic Modal logic Epistemic modal logic Structure Well-formed formula Satisfiability Linear temporal logic Logic Model theory Mathematical logic
532	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus
533	New Mexico Softball Season Accomplishments[removed]The[removed]Lobo softball team got off to a red-hot start, opening the season with a program-best 17-2 record. The previous best start to a Lobo softball season was Add to Reading List Source URL: www.golobos.com Language: English - Date: 2013-08-22 21:05:39 Natasha Watley Baseball Softball Jenny Topping
534	Matching Geospatial Instances Heshan Du1 , Natasha Alechina1 , Michael Jackson1 , Glen Hart2 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:14:24 Information science Knowledge representation Semantic Web Knowledge engineering Abox Ontology alignment Geographic information system String Geospatial analysis Ontology Information Science
535	Verifying time, memory and communication bounds in systems of reasoning agents Natasha Alechina, Brian Logan, Nguyen Hoang Nga and Abdur Rakib∗ School of Computer Science University of Nottingham Nottingham NG8 1BB, UK Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Deduction Propositional calculus Mathematical logic Artificial intelligence Logical syntax Epistemic modal logic Reasoning system Entailment Formula Logic Science Mathematics
536	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System Hai Nguyen, Natasha Alechina, and Brian Logan University of Nottingham 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:59:12 Semantic Web Ontology Knowledge engineering Information science Reason maintenance Semantic reasoner Reasoner Description logic Axiom Knowledge representation Science Information
537	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 programming Knowledge representation Belief revision Logic Theory of justification J Software engineering Computer programming Computing
538	Consensus Action Games Julian Zappala, Natasha Alechina, Brian Logan School of Computer Science, University of Nottingham {jxz,nza,bsl}@cs.nott.ac.uk Abstract Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:57:26 Motor control Consensus Quorum Computational complexity theory NP Applied mathematics Ethology Mind Action selection Artificial intelligence Cognitive science
539	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: 2009-09-11 12:40:28 Symbol Epistemic modal logic Modal logic Proof theory Lambda calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
540	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: 2009-09-11 12:40:28 2APL Large cardinals Symbol

UPDATE