Search Sciweavers | Sciweavers

2500 search results - page 77 / 500

» Logical Semantics of Modularisation

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 3 months ago

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

click to vote

EPIA
1995
Springer

94views Artificial Intelligence» more EPIA 1995»

A Preference Semantics for Ground Nonmonotonic Modal Logics

15 years 2 months ago

Download www.dis.uniroma1.it

Daniele Nardi, Riccardo Rosati

claim paper

Read More »

click to vote

AAAI
2007

84views Intelligent Agents» more AAAI 2007»

Implementing Modal Extensions of Defeasible Logic for the Semantic Web

15 years 1 months ago

Download www.aaai.org

Nikos Dimaresis, Grigoris Antoniou

claim paper

Read More »

click to vote

ESWS
2007
Springer

116views Internet Technology» more ESWS 2007»

Logic as a Power Tool to Model Negotiation Mechanisms in the Semantic Web Era

15 years 27 days ago

Download sisinflab.poliba.it

Azzurra Ragone

claim paper

Read More »

click to vote

ESOP
2008
Springer

79views Programming Languages» more ESOP 2008»

Oracle Semantics for Concurrent Separation Logic

15 years 26 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers