BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages.

Source URL: www.jfsowa.com

• Artificial intelligence
• Philosophical logic
• Reasoning
• Logical consequence
• Prolog
• Logic programming
• Expert system
• Inference
• Epistemic modal logic
• Logic
• Mathematical logic
• Non-classical logic

Data visualization and user interfaces 10:45 – 11:10 User Interface Design (Scooter Morris) 11:15 – 11:40 Data Visualization (Nils Gehlenborg) 11:45 – 12:10

Source URL: vizbi.org

Extraordinary meeting of the Committee of the Regions Bureau Media programme Wednesday, 18 March All interview requests shall be communicated [removed] , +[removed]by 17 March.

Source URL: eu2015.lv

• Nils Ušakovs
• Karl-Heinz Lambertz
• Latvia
• Riga City Council
• LV
• Government
• Europe
• Committee of the Regions
• Regionalism

Governing Decarbonisation in Scotland Exploring the Transitions Options Summary Report | May 2010 Nils Markusson, University of Edinburgh Brighid Moran, University of Edinburgh

Source URL: www.geos.ed.ac.uk

• Energy policy
• Environmental social science
• Europe
• Decarbonisation Measures in Proposed UK Electricity Market Reform
• Energy economics
• European Union
• Energy

Formal Design Constraints* Nils Klarlundy AT&T Labs{Research, [removed] Jari Koistinenz

Source URL: www.brics.dk

• CORBA
• Common Object Request Broker Architecture
• Component-based software engineering
• Inter-process communication
• Object-oriented programming
• Design closure
• IDL
• Parse tree
• Service-oriented architecture
• Software engineering
• Computing
• Electronic engineering

Graph Types Nils Klarlundy & Michael I. Schwartzbachz fklarlund,[removed] Aarhus University, Department of Computer Science,

Source URL: www.brics.dk

• Data types
• Primitive types
• Graph theory
• Binary trees
• C++
• Recursive data type
• Tree
• Pointer
• Reference
• Computing
• Software engineering
• Computer programming

A Domain-Specic Language for Regular Sets of Strings and Trees Nils Klarlund Michael I. Schwartzbach

Source URL: www.brics.dk

Algorithms for Guided Tree Automata Morten Biehl1 , Nils Klarlund2 , and Theis Rauhe1 1 BRICS, Department of Computer Science, University of Aarhus,

Source URL: www.brics.dk

• Mathematics
• Binary decision diagram
• Tree automaton
• Nondeterministic finite automaton
• Deterministic finite automaton
• Tree traversal
• Binary tree
• Tree
• Infinite tree automaton
• Automata theory
• Theoretical computer science
• Computer science

Mona: decidable arithmetic in practice Morten Biehl1 , Nils Klarlund2, and Theis Rauhe3 BRICS, University of Aarhus ([removed]) AT&T Research ([removed]) 3 BRICS, University of Aarhus (theis@brics.d

Source URL: www.brics.dk

• Metalogic
• Model theory
• Combinatorics on words
• Automata theory
• Models of computation
• Second-order logic
• Interpretation
• First-order logic
• Finite-state machine
• Formal languages
• Logic
• Mathematics

Automated logical verication based on trace abstractions Nils Klarlund Mogens Nielsen Kim Sunesen BRICSy Department of Computer Science

Source URL: www.brics.dk

• Non-classical logic
• Matrix theory
• Trace
• Abstraction
• Modal logic
• Mind
• Logic
• Mathematics
• Linear algebra