Learning the Structure of Markov Logic Networks Stanley Kok KOKS @ CS . WASHINGTON . EDU Pedro Domingos PEDROD @ CS . WASHINGTON . EDU Department of Computer Science & Engineering, University of Washington, Seattle, WA 9

Source URL: www.machinelearning.org

• Predicate logic
• Model theory
• Automated theorem proving
• Artificial intelligence
• Markov logic network
• Prolog
• Unit propagation
• Predicate
• Markov chain
• Logic
• Mathematical logic
• Linguistics

SICStus Prolog Release Notes Mats Carlsson et al. SICS Swedish ICT AB PO Box 1263 SE[removed]Kista, Sweden Release 4.3.0

Source URL: sicstus.sics.se

• Mac OS X
• Cross-platform software
• Mach
• Berkeley DB
• Unix
• Debian
• Static library
• Prolog
• Swedish Institute of Computer Science
• Software
• Computer architecture
• Computing

SICStus Prolog User’s Manual Mats Carlsson et al. SICS Swedish ICT AB PO Box 1263 SE[removed]Kista, Sweden Release 4.3.0

Source URL: sicstus.sics.se

• Prolog
• Query languages
• Logic programming
• Swedish Institute of Computer Science
• Definite clause grammar
• Predicate
• Exception handling
• Debugging
• SQL
• Software engineering
• Computing
• Computer programming

SICStus Prolog User’s Manual Mats Carlsson et al. Swedish Institute of Computer Science PO Box 1263 SE[removed]Kista, Sweden Release[removed]

Source URL: sicstus.sics.se

• Constraint programming
• Prolog
• Linda
• Emacs
• Logic programming
• Exception handling
• Debugging
• Breakpoint
• Backtracking
• Computing
• Software
• Programming paradigms

SICStus Prolog Release Notes by the Intelligent Systems Laboratory Swedish Institute of Computer Science PO Box 1263 SE[removed]Kista, Sweden Release[removed]

Source URL: sicstus.sics.se

• Cross-platform software
• Installation software
• Debian
• Unix
• Installation
• Mac OS X
• Java version history
• Portable Executable
• Software bug
• Software
• Computing
• System software

Pretprin — a LATEX 2ε package for pretty-printing texts in formal languages Marcin Woli´ nski [removed]

Source URL: tug.org

• Pascal
• Prolog
• Matrix
• Prettyprint
• Array programming
• ALGOL 68
• TeX
• Comparison of Pascal and C
• P-code machine
• Computing
• Programming language theory
• Software engineering

SICStus Prolog Frequently Asked Questions by the Intelligent Systems Laboratory Swedish Institute of Computer Science PO Box 1263 SE[removed]Kista, Sweden Release[removed]

Source URL: sicstus.sics.se

• Prolog
• Swedish Institute of Computer Science
• Tcl
• Tk
• Windows Installer
• Expect
• Constraint programming
• Computing
• Software
• Scripting languages

Volume 1, Spring Issue, 1988 BOOKREVIEW AN ARTIFICIAL INTELLIGENCE APPROACH TO L E G A L R E A S O N I N G By Anne vonder Lieth Gardner.

Source URL: jolt.law.harvard.edu

• Artificial intelligence
• Logic
• Jurisprudence
• Philosophy of law
• Roman law
• Social philosophy
• Expert system
• Prolog
• Logic programming
• Science
• Philosophy
• Ethology

tolog for TMQL? http://www.ontopia.net 1

Source URL: www.isotopicmaps.org

• Data management
• Datalog
• Topic Maps
• Prolog
• Deductive database
• Catalani
• Lucca
• SQL
• Logic programming
• Computing
• Query languages
• Software engineering

Zusammenfassung der Workshops PROLOG Es geht ein Druck durch unser Land! Das Problem schon lang bekannt Die Demografie in der Demokratie So ungleichmäßig wie noch nie

Source URL: www.boell.de