Search Sciweavers | Sciweavers

4573 search results - page 203 / 915

» Automated Reasoning

139

click to vote

ICCBR
2009
Springer

119views Automated Reasoning» more ICCBR 2009»

Case Retrieval Reuse Net (CR2N): An Architecture for Reuse of Textual Solutions

16 years 1 months ago

Download www.comp.rgu.ac.uk

Ibrahim Adeyanju, Nirmalie Wiratunga, Robert Lothi...

claim paper

Read More »

120

click to vote

LPNMR
2009
Springer

92views Automated Reasoning» more LPNMR 2009»

The Second Answer Set Programming Competition

16 years 1 months ago

Download dtai.cs.kuleuven.be

Marc Denecker, Joost Vennekens, Stephen Bond, Mart...

claim paper

Read More »

120

click to vote

RR
2009
Springer

98views Automated Reasoning» more RR 2009»

A Formal Theory for Modular ERDF Ontologies

16 years 1 months ago

Download www.ics.forth.gr

Anastasia Analyti, Grigoris Antoniou, Carlos Viega...

claim paper

Read More »

122

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

16 years 1 months ago

Download users.ugent.be

Steven Schockaert, Jeroen Janssen, Dirk Vermeir, M...

claim paper

Read More »

138

click to vote

CSL
2007
Springer

93views Automated Reasoning» more CSL 2007»

Building Decision Procedures in the Calculus of Inductive Constructions

16 years 22 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers