Search Sciweavers | Sciweavers

2585 search results - page 53 / 517

» Automating Coherent Logic

100

click to vote

ICLP
1992
Springer

96views Automated Reasoning» more ICLP 1992»

Implementing a Lazy Functional Logic Language with Disequality Constraints

15 years 7 months ago

Download gpd.sip.ucm.es

Herbert Kuchen, Francisco Javier López-Frag...

claim paper

Read More »

click to vote

DLOG
2008

83views Automated Reasoning» more DLOG 2008»

Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support

15 years 5 months ago

Download www.webont.org

Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau,...

claim paper

Read More »

click to vote

DLOG
1996

127views Automated Reasoning» more DLOG 1996»

Class Algebra as a Description Logic

15 years 4 months ago

Download www.aaai.org

Daniel J. Buehrer, Yi-Huang Liu, Ting-Yue Hong, Je...

claim paper

Read More »

click to vote

CL
2008
Springer

102views Automated Reasoning» more CL 2008»

Application-specific models and pointcuts using a logic metalanguage

15 years 3 months ago

Download www.hpi.uni-potsdam.de

Johan Brichau, Andy Kellens, Kris Gybels, Kim Mens...

claim paper

Read More »

108

click to vote

RR
2010
Springer

265views Automated Reasoning» more RR 2010»

Inconsistency-Tolerant Semantics for Description Logics

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers