Search Sciweavers | Sciweavers

5818 search results - page 92 / 1164

» A reasonable Semantic Web

165

click to vote

NMELP
1994

244views Automated Reasoning» more NMELP 1994»

An Argumentation Theoretic Semantics Based on Non-Refutable Falsity

15 years 6 months ago

Download centria.di.fct.unl.pt

José Júlio Alferes, Luís Moni...

claim paper

Read More »

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

Download iss.ices.utexas.edu

Radha Jagadeesan, Prakash Panangaden, Keshav Pinga...

claim paper

Read More »

click to vote

ICLP
2010
Springer

112views Automated Reasoning» more ICLP 2010»

Sampler Programs: The Stable Model Semantics of Abstract Constraint Programs Revisited

15 years 5 months ago

Download drops.dagstuhl.de

Tomi Janhunen

claim paper

Read More »

click to vote

KR
2000
Springer

92views Automated Reasoning» more KR 2000»

Ontology-Based Semantics

15 years 5 months ago

Download www.mel.nist.gov

Mihai Ciocoiu, Dana S. Nau

claim paper

Read More »

click to vote

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers