Search Sciweavers | Sciweavers

292 search results - page 18 / 59

» First-order intensional logic

click to vote

PODS
1996
ACM

102views Database» more PODS 1996»

Temporal Versus First-Order Logic to Query Temporal Databases

13 years 11 months ago

Download ilpubs.stanford.edu

Serge Abiteboul, Laurent Herr, Jan Van den Bussche

claim paper

Read More »

click to vote

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

Download www.jos.org.cn

Simon Dixon, Wayne Wobcke

claim paper

Read More »

click to vote

ICCS
1995
Springer

178views Applied Computing» more ICCS 1995»

Conceptual Graphs and First-Order Logic

13 years 11 months ago

Download www.dcs.gla.ac.uk

Michel Wermelinger

claim paper

Read More »

click to vote

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

13 years 11 months ago

Download www.cse.dmu.ac.uk

Bruno Dutertre

claim paper

Read More »

click to vote

ECAI
1992
Springer

104views Artificial Intelligence» more ECAI 1992»

Conceptual Clustering in a First Order Logic Representation

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers