Sciweavers

2585 search results - page 77 / 517

» Automating Coherent Logic

23

CORR
2008
Springer

92views Education» more CORR 2008»

Automated Termination Proofs for Logic Programs by Term Rewriting

13 years 10 months ago

Automated Termination Proofs for Logic Programs by Term Rewriting

Download tocl.acm.org

Peter Schneider-Kamp, Jürgen Giesl, Alexander...

claim paper

Read More »

19

ETAI
2000

43views more ETAI 2000»

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming

13 years 9 months ago

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming

Download www.doc.ic.ac.uk

Simon Colton

claim paper

Read More »

24

EXPERT
2007

74views more EXPERT 2007»

Using Fuzzy Logic in Automated Vehicle Control

13 years 9 months ago

Using Fuzzy Logic in Automated Vehicle Control

Download digital.csic.es

José Eugenio Naranjo, Miguel Ángel S...

claim paper

Read More »

37

IAT
2009
IEEE

151views Intelligent Agents» more IAT 2009»

Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web

14 years 1 months ago

Combining Boolean Games with the Power of Ontologies for Automated Multi-attribute Negotiation in the Semantic Web

Download sisinflab.poliba.it

Recently, multi-attribute negotiation has been extensively studied from a game-theoretic viewpoint. Since normal and extensive form games have the drawback of requiring an explicit...

Thomas Lukasiewicz, Azzurra Ragone

claim paper

Read More »

35

ICLP
1995
Springer

107views Automated Reasoning» more ICLP 1995»

Variants of the Event Calculus

14 years 1 months ago

Variants of the Event Calculus

Download www.ucl.ac.uk

Abstract. The Event Calculus is a narrative based formalism for reasoning about actions and change originally proposed in logic programming form by Kowalski and Sergot. In this pap...

Fariba Sadri, Robert A. Kowalski

claim paper

Read More »

« Prev « First page 77 / 517 Last » Next »