Search Sciweavers | Sciweavers

3515 search results - page 100 / 703

» On the semantics of Strategy Logic

click to vote

ICDE
1989
IEEE

55views Database» more ICDE 1989»

Modeling Semantic Constraints with Logic in the EARL Data Model

15 years 11 months ago

Download www.cse.sc.edu

James P. Davis, Ronald D. Bonnell

claim paper

Read More »

142

click to vote

LICS
1989
IEEE

104views Automated Reasoning» more LICS 1989»

A Fully Abstract Semantics for a Functional Language with Logic Variables

15 years 11 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

123

click to vote

EPIA
1995
Springer

94views Artificial Intelligence» more EPIA 1995»

A Preference Semantics for Ground Nonmonotonic Modal Logics

15 years 10 months ago

Download www.dis.uniroma1.it

Daniele Nardi, Riccardo Rosati

claim paper

Read More »

155

click to vote

CSL
1991
Springer

91views Automated Reasoning» more CSL 1991»

Logical Semantics of Modularisation

15 years 10 months ago

Download www.cs.rug.nl

Gerard R. Renardel de Lavalette

claim paper

Read More »

137

click to vote

AAAI
2007

84views Intelligent Agents» more AAAI 2007»

Implementing Modal Extensions of Defeasible Logic for the Semantic Web

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers