Sciweavers

507 search results - page 14 / 102

» Automating first-order relational logic

103

DLOG
1997

94views Automated Reasoning» more DLOG 1997»

Conjunctive Query Containment in Description Logics with n-ary Relations

15 years 5 months ago

Conjunctive Query Containment in Description Logics with n-ary Relations

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

108

CSL
1998
Springer

93views Automated Reasoning» more CSL 1998»

Logical Relations and Inductive/Coinductive Types

15 years 3 months ago

Logical Relations and Inductive/Coinductive Types

Download www.cs.nott.ac.uk

Thorsten Altenkirch

claim paper

Read More »

121

ESSLLI
2009
Springer

219views Automated Reasoning» more ESSLLI 2009»

Description Logics for Relative Terminologies

15 years 1 months ago

Description Logics for Relative Terminologies

Download klarman.synthasite.com

Szymon Klarman

claim paper

Read More »

357

Book

1569views

Introduction to Logic

17 years 3 months ago

Introduction to Logic

Download www.ii.uib.no

Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.

Micha l Walicki

posted by scimaster

Read More »

119

SIGSOFT
2000
ACM

91views Software Engineering» more SIGSOFT 2000»

Automating first-order relational logic

15 years 8 months ago

Automating first-order relational logic

Download sdg.csail.mit.edu

An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...

Daniel Jackson

claim paper

Read More »

« Prev « First page 14 / 102 Last » Next »