Sciweavers

2253 search results - page 64 / 451

» The ComFoRT Reasoning Framework

25

LPNMR
2009
Springer

173views Automated Reasoning» more LPNMR 2009»

Argumentation Context Systems: A Framework for Abstract Group Argumentation

14 years 3 months ago

Argumentation Context Systems: A Framework for Abstract Group Argumentation

Download www.informatik.uni-leipzig.de

Gerhard Brewka, Thomas Eiter

claim paper

Read More »

16

ICLP
2007
Springer

96views Automated Reasoning» more ICLP 2007»

Prosper: A Framework for Extending Prolog Applications with a Web Interface

14 years 2 months ago

Prosper: A Framework for Extending Prolog Applications with a Web Interface

Download prospear.sourceforge.net

Levente Hunyadi

claim paper

Read More »

21

TARK
2007
Springer

96views Automated Reasoning» more TARK 2007»

Merging frameworks for interaction: DEL and ETL

14 years 2 months ago

Merging frameworks for interaction: DEL and ETL

Download ai.stanford.edu

Johan van Benthem, Jelle Gerbrandy, Eric Pacuit

claim paper

Read More »

29

LICS
2005
IEEE

97views Automated Reasoning» more LICS 2005»

Recursive Polymorphic Types and Parametricity in an Operational Framework

14 years 2 months ago

Recursive Polymorphic Types and Parametricity in an Operational Framework

Download www.pps.jussieu.fr

Paul-André Melliès, Jerome Vouillon

claim paper

Read More »

21

FLOPS
2004
Springer

89views Automated Reasoning» more FLOPS 2004»

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

14 years 2 months ago

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework

Download www.cs.yale.edu

Carsten Schürmann

claim paper

Read More »

« Prev « First page 64 / 451 Last » Next »