Search Sciweavers | Sciweavers

7167 search results - page 64 / 1434

» Answer Set Programming

click to vote

RR
2009
Springer

130views Automated Reasoning» more RR 2009»

Answer Sets in a Fuzzy Equilibrium Logic

14 years 2 months ago

Download users.ugent.be

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

claim paper

Read More »

click to vote

LPNMR
2005
Springer

97views Automated Reasoning» more LPNMR 2005»

Integrating an Answer Set Solver into Prolog: ASP-PROLOG

14 years 1 months ago

Download www.cs.nmsu.edu

Omar El-Khatib, Enrico Pontelli, Tran Cao Son

claim paper

Read More »

click to vote

LPNMR
2005
Springer

105views Automated Reasoning» more LPNMR 2005»

Platypus: A Platform for Distributed Answer Set Solving

14 years 1 months ago

Download dtai.cs.kuleuven.be

Jean Gressmann, Tomi Janhunen, Robert E. Mercer, T...

claim paper

Read More »

click to vote

IRAL
2003
ACM

136views Information Technology» more IRAL 2003»

AnyQ: answer set based information retrieval system

14 years 1 months ago

Download www.aclweb.org

Hyo-Jung Oh, Myung-Gil Jang, Moon-Soo Chang

claim paper

Read More »

click to vote

LPNMR
2001
Springer

160views Automated Reasoning» more LPNMR 2001»

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics

14 years 7 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers