WLP

Voting Theory in Answer Set Programming.

Kathrin Konczak · 2006 · 16 citations

Public Affairs, Computer Science, Mathematics +13

Adding Constraint Handling Rules to Curry.

Michael Hanus · 2006 · 14 citations

Computing, Computer Science, Compilers +14

The dlv System: Model Generator and Advanced Frontends (system description)

Simona Citrigno, Thomas Eiter, Wolfgang Faber et al. · 1997 · 11 citations

Engineering, Systems Engineering, Model-based Systems Engineering +14

Challenge problems for the integration of logic and connectionist systems.

Steffen Hölldobler · 2000 · 10 citations

Computing, Computer Science, Knowledge Representation +9