Sciweavers

1814 search results - page 19 / 363

» Extended First-Order Logic

19

ICTAI
1993
IEEE

85views Artificial Intelligence» more ICTAI 1993»

The Implementation of a First-Order Logic AGM Belief Revision System

13 years 11 months ago

The Implementation of a First-Order Logic AGM Belief Revision System

Download www.jos.org.cn

Simon Dixon, Wayne Wobcke

claim paper

Read More »

21

ICCS
1995
Springer

178views Applied Computing» more ICCS 1995»

Conceptual Graphs and First-Order Logic

13 years 11 months ago

Conceptual Graphs and First-Order Logic

Download www.dcs.gla.ac.uk

Michel Wermelinger

claim paper

Read More »

25

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 11 months ago

Complete Proof Systems for First Order Interval Temporal Logic

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

22

ECAI
1992
Springer

104views Artificial Intelligence» more ECAI 1992»

Conceptual Clustering in a First Order Logic Representation

13 years 11 months ago

Conceptual Clustering in a First Order Logic Representation

Download www-leibniz.imag.fr

Gilles Bisson

claim paper

Read More »

31

LICS
1991
IEEE

122views Automated Reasoning» more LICS 1991»

A First-Order Theory of Types and Polymorphism in Logic Programming

13 years 11 months ago

A First-Order Theory of Types and Polymorphism in Logic Programming

Download www.cs.sunysb.edu

Michael Kifer, James Wu

claim paper

Read More »

« Prev « First page 19 / 363 Last » Next »