Search Sciweavers | Sciweavers

722 search results - page 10 / 145

» A Faithful Integration of Description Logics with Logic Prog...

158

click to vote

CADE
1999
Springer

141views Logical Reasoning» more CADE 1999»

System Description: Twelf - A Meta-Logical Framework for Deductive Systems

15 years 10 months ago

Download www.cs.cmu.edu

Abstract. Twelf is a meta-logical framework for the speciﬁcation, implementation, and meta-theory of deductive systems from the theory of programming languages and logics. It rel...

Frank Pfenning, Carsten Schürmann

claim paper

Read More »

133

click to vote

ECSQARU
2005
Springer

114views Automated Reasoning» more ECSQARU 2005»

Probabilistic Description Logic Programs

15 years 11 months ago

Download www.kr.tuwien.ac.at

Thomas Lukasiewicz

claim paper

Read More »

141

click to vote

JELIA
2004
Springer

129views Artificial Intelligence» more JELIA 2004»

Abductive Logic Programming with CIFF: System Description

15 years 11 months ago

Download staff.science.uva.nl

Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...

claim paper

Read More »

142

click to vote

FUIN
2008

116views more FUIN 2008»

Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web

15 years 6 months ago

Download 2006.ruleml.org

Thomas Lukasiewicz

claim paper

Read More »

140

click to vote

ECSQARU
2007
Springer

152views Automated Reasoning» more ECSQARU 2007»

Description Logic Programs Under Probabilistic Uncertainty and Fuzzy Vagueness

16 years 3 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers