Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
521	Logics with an existential modality Natasha Alechina and Dmitry Shkatov abstract. We consider multi-modal logics interpreted over edge-labelled graphs with a modality #, where #ϕ means ‘ϕ is accessible by an edge Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:33:46 Symbol Regular language Structure Mathematics Logic Metaphilosophy Model theory Universal algebra Metalogic
522	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-09-15 07:36:27 Constructible universe Epistemic modal logic Entailment Logic Logical syntax Propositional calculus
523	Epistemic Coalition Logic: Completeness and Complexity Thomas Ågotnes Natasha Alechina Dept of Information Science and Media Studies Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-02-28 06:45:44 Philosophical logic Model theory Functions and mappings Interpretation Philosophy of mind Function Logical connective Modal logic Entailment Logic Mathematics Metalogic
524	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: 2012-06-25 11:54:02 Artificial intelligence Multi-agent systems Philosophy of language Branches of philosophy Modal logic 2APL Epistemic modal logic Belief revision Interpretation Logic Science Mathematical logic
525	Ascribing beliefs to resource bounded agents Natasha Alechina Brian Logan School of Computer Science and IT Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Mathematical logic Formal languages Metalogic Interpretation First-order logic Well-formed formula Entailment Modal logic Linear temporal logic Logic Model theory Logical syntax
526	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: 2009-09-11 12:40:28 Metalogic Model theory Mathematical logic Logical syntax Interpretation Modal logic Function Constructible universe Well-formed formula Logic Formal languages Mathematics
527	J Log Lang Inf[removed]:105–106 DOI[removed]s10849[removed]Formal Models of Awareness Thomas Ågotnes · Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:31:06 Metalogic Artificial intelligence Logical syntax Logical consequence Epistemic modal logic Entailment Logic programming Abductive reasoning Agent-based model Logic Science Reasoning
528	A Logic for Reasoning about Knowledge of Unawareness∗ ˚ Thomas Agotnes and Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:36:52 Model theory Functions and mappings First-order logic Predicate logic Golden ratio Function Substitution Linear temporal logic Gödel–Gentzen negative translation Logic Mathematics Mathematical logic
529	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: 2009-09-11 12:40:28 Model theory Mathematical logic Logical syntax Interpretation Modal logic Action selection Proposition Linear temporal logic Logic Philosophy of language Formal languages
530	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science