Natasha - PDFSEARCH.IO - Document Search Engine

Natasha
Results: 819

#	Item
491	Expressing User Access Authorization Exceptions in Conventional Role-based Access Control Xiaofan Liu1,2 , Natasha Alechina1 , and Brian Logan1 1 2 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 16:58:51 Role-based access control Role hierarchy PERMIS NIST RBAC model Mandatory access control Filesystem permissions Modal logic Datalog Computer security Security Access control
492	Query Caching in Agent Programming Languages Natasha Alechina1 , Tristan Behrens2 , Koen Hindriks3 , and Brian Logan1 1 School of Computer Science University of Nottingham Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 12:15:53 Computer programming Programming paradigms 2APL Prolog Database Declarative programming Knowledge representation and reasoning Computing Software engineering Multi-agent systems
493	Verifying time and communication costs of rule-based reasoners Natasha Alechina, Brian Logan, Nguyen Hoang Nga, and Abdur Rakib ⋆ University of Nottingham, Nottingham, UK (nza,bsl,hnn,rza)@cs.nott.ac.uk Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Quantum information theory Ω-automaton Symbol Epistemic modal logic Automata theory
494	Interpolation for a sequent calculus of generalized quantiers Natasha Alechina FWI, University of Amsterdam Pl. Muidergracht 24, 1018 TV Amsterdam The Netherlands Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-27 15:47:34 Mathematics Sequent calculus First-order logic Function Cut-elimination theorem Natural deduction Sequent Mathematical logic Proof theory Logic
495	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-06-23 11:43:52 2APL 3APL AgentSpeak Cache Hoarding Database Multi-agent systems Computing Artificial intelligence
496	Verifying Heterogeneous Multi-Agent Programs Thu Trang Doan Yuan Yao Natasha Alechina Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:30:33 Symbol Pi Valuation APL Mathematical analysis Computing Mathematics
497	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: 2014-09-26 15:19:09 Knowledge representation Logic Logic programming Social psychology Science Contraction Preference Edge contraction Artificial intelligence Operator theory Consumer theory Belief revision
498	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
499	Matching Formal and Informal Geospatial Ontologies Heshan Du, Natasha Alechina, Mike Jackson and Glen Hart Abstract The rapid development of crowd-sourcing or volunteered geographic information both challenges and provid Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 14:52:38 Science Semantic Web Information science Technical communication Upper ontology WordNet Semantic integration Geographic information system Semantic matching Ontology Information Knowledge representation
500	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

UPDATE