F u r t h e r i n f o r m at i o n 1 2 M ayFurther information on the Rolf Schock Prizes 2008 The prize in logic and philosophy

Source URL: www.kva.se

Description Logic and Rules the CHR Way Extended Abstract Thom Fr¨ uhwirth Fakult¨ at f¨

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

Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

Source URL: clip.dia.fi.upm.es

The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1

Source URL: clip.dia.fi.upm.es

• Programming paradigms
• Type theory
• Functional languages
• Logic in computer science
• Ciao
• Assertion
• Constraint programming
• Type system
• Programming language
• Software engineering
• Computing
• Computer programming

Logic and Automata, Assignmentmarks) Construct B¨ uchi automata accepting ω-words satisfying the following LTL formulae: (a) G F X a

Source URL: homepages.inf.ed.ac.uk

• Theoretical computer science
• Tree automaton
• Computer science
• Automata theory
• Temporal logic
• Linear temporal logic

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France

Source URL: mehdi.bouaziz.org

• Computing
• Postcondition
• Design by contract
• Abstract interpretation
• Programming language
• Formal verification
• Precondition
• Class
• Software engineering
• Theoretical computer science
• Logic in computer science

Philosophy of Right G.W.F. Hegel Translated by S.W Dyde Batoche Books

Source URL: www.hegel.net

• Elements of the Philosophy of Right
• Eduard Gans
• The Phenomenology of Spirit
• Science of Logic
• German idealism
• Philosophy
• Georg Wilhelm Friedrich Hegel

Sets with Cardinality Constraints in Satisfiability Modulo Theories Philippe Suter? , Robin Steiger, and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland

Source URL: lara.epfl.ch

• Metalogic
• Formal methods
• Model theory
• Logic in computer science
• NP-complete problems
• First-order logic
• Satisfiability Modulo Theories
• Function
• Interpretation
• Logic
• Mathematics
• Theoretical computer science

Visualisation of Uncertainty in a Geodemographic Classifier Aidan Slingsby1 , Nicholas J. Tate2 , and Peter F. Fisher2 1 giCentre, Department of Computer Science, City University London, Northampton

Source URL: cognitivegiscience.psu.edu

• Knowledge
• Consumer behaviour
• Geodemography
• Human geography
• Fuzzy logic
• Machine learning
• Fuzzy set
• Statistical classification
• Uncertainty
• Science
• Statistics
• Demography