Search Sciweavers | Sciweavers

3691 search results - page 8 / 739

» Bayesian Logic Programs

click to vote

JMLR
2012

193views Programming Languages» more JMLR 2012»

Fast Variational Bayesian Inference for Non-Conjugate Matrix Factorization Models

12 years 7 days ago

Download ipg.epfl.ch

Matthias Seeger, Guillaume Bouchard

claim paper

Read More »

click to vote

RR
2009
Springer

147views Automated Reasoning» more RR 2009»

Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents

14 years 2 months ago

Download www.doc.ic.ac.uk

In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...

Robert A. Kowalski, Fariba Sadri

claim paper

Read More »

click to vote

ICALP
2007
Springer

209views Programming Languages» more ICALP 2007»

Co-Logic Programming: Extending Logic Programming with Coinduction

14 years 4 months ago

Download www.utdallas.edu

In this paper we present the theory and practice of co-logic programming (co-LP for brevity), a paradigm that combines both inductive and coinductive logic programming. Co-LP is a ...

Luke Simon, Ajay Bansal, Ajay Mallya, Gopal Gupta

claim paper

Read More »

click to vote

PPCP
1993

148views Programming Languages» more PPCP 1993»

Higher-Order Logic Programming as Constraint Logic Programming

14 years 1 months ago

Download www.cs.cmu.edu

Higher-order logic programming (HOLP) languages are particularly useful for various kinds of metaprogramming and theorem proving tasks because of the logical support for variable ...

Spiro Michaylov, Frank Pfenning

claim paper

Read More »

click to vote

AAAI
2006

157views Intelligent Agents» more AAAI 2006»

Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning

13 years 11 months ago

Download www.dbai.tuwien.ac.at

Several forms of reasoning in AI

Georg Gottlob, Reinhard Pichler, Fang Wei

claim paper