Search Sciweavers | Sciweavers

2500 search results - page 82 / 500

» Logical Semantics of Modularisation

click to vote

TODS
2002

52views more TODS 2002»

Understanding the global semantics of referential actions using logic rules

15 years 2 months ago

Download users.sdsc.edu

Wolfgang May, Bertram Ludäscher

claim paper

Read More »

click to vote

FSS
2010

65views more FSS 2010»

Paraconsistent semantics for Pavelka style fuzzy sentential logic

15 years 1 months ago

Download www.lamsade.dauphine.fr

Esko Turunen, Meltem Öztürk, Alexis Tsou...

claim paper

Read More »

107

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

15 years 1 months ago

Download acsi-project.haifa.il.ibm.com

Domenico Lembo, Maurizio Lenzerini, Riccardo Rosat...

claim paper

Read More »

click to vote

DLOG
2010

109views Automated Reasoning» more DLOG 2010»

Second-Order Description Logics: Semantics, Motivation, and a Calculus

15 years 25 days ago

Download sisinflab.poliba.it

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...

claim paper

Read More »

103

click to vote

LPAR
2010
Springer

123views Automated Reasoning» more LPAR 2010»

Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

15 years 21 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers