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

15 years 6 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

15 years 6 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

15 years 5 months ago

Download www.dcs.gla.ac.uk

Michel Wermelinger

claim paper

Read More »

107

Voted

LICS
1995
IEEE

111views Automated Reasoning» more LICS 1995»

Complete Proof Systems for First Order Interval Temporal Logic

15 years 5 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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers