Matching Geospatial Ontologies Heshan Du1 , Natasha Alechina1 , Mike Jackson1 , Glen Hart2 1 2

Source URL: www.cs.nott.ac.uk

• Information science
• Data
• Semantic Web
• Knowledge representation
• Knowledge engineering
• Geographic information system
• Abox
• Description logic
• Tbox
• Ontology
• Information
• Science

Logic for coalitions with bounded resources∗ Abdur Rakib Nguyen Hoang Nga Brian Logan Natasha Alechina Sch. of Computer Science Sch. of Computer Science Sch. of Computer Science Sch. of Computer Science

Source URL: www.cs.nott.ac.uk

• Logic in computer science
• Partition
• Mathematics
• Combinatory logic
• Lambda calculus

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]

Source URL: www.cs.nott.ac.uk

• Modal logic
• Software engineering
• Logic
• Non-classical logic
• Maude system

Axiom Pinpointing Using an Assumption-Based Truth Maintenance System Hai Nguyen, Natasha Alechina, and Brian Logan University of Nottingham 1

Source URL: www.cs.nott.ac.uk

• Semantic Web
• Ontology
• Knowledge engineering
• Information science
• Reason maintenance
• Semantic reasoner
• Reasoner
• Description logic
• Axiom
• Knowledge representation
• Science
• Information

Consensus Games Julian Zappala, Natasha Alechina, and Brian Logan School of Computer Science University of Nottingham Nottingham, NG8 1BB, UK {jxz,nza,bsl}@cs.nott.ac.uk

Source URL: www.cs.nott.ac.uk

• Consensus
• Core
• Coalition
• Problem solving
• Human behavior
• Game theory
• Ethics
• Cooperative game

Classifying Sketches of animals using an Agent-Based System Graham Mackenzie and Natasha Alechina Nottingham University, Nottingham, NG8 2BB, UK, [removed], WWW home page: http://www.cs.nott.ac.uk/∼gjm

Source URL: www.cs.nott.ac.uk

• Scientific modeling
• Science
• Artificial intelligence
• Knowledge
• Multi-agent systems
• Agent-based model
• Complex systems theory

Consensus Action Games Julian Zappala, Natasha Alechina, Brian Logan School of Computer Science, University of Nottingham {jxz,nza,bsl}@cs.nott.ac.uk Abstract

Source URL: www.cs.nott.ac.uk

• Motor control
• Consensus
• Quorum
• Computational complexity theory
• NP
• Applied mathematics
• Ethology
• Mind
• Action selection
• Artificial intelligence
• Cognitive science

Grounding Knowledge and Action Selection in Agent-Based Systems Natasha Alechina Brian Logan School of Computer Science and IT University of Nottingham Nottingham NG8 1BB, UK

Source URL: www.cs.nott.ac.uk

• Formal languages
• Model theory
• Philosophical logic
• Modal logic
• Interpretation
• Epistemic modal logic
• Kripke semantics
• Function
• Action selection
• Logic
• Mathematical logic
• Mathematics

Microsoft Word[removed]MO[removed]Walter Mtg v. Natasha Green

Source URL: www.judicial.state.sc.us

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

Source URL: www.cs.nott.ac.uk

• Philosophy of language
• Philosophy of mind
• Semantics
• Metaphilosophy
• Philosophy
• Linear temporal logic
• Logic
• Model theory
• Interpretation