Back to Results
First PageMeta Content
Higher-order functions / Lambda calculus / Functional programming / Functional languages / Critical thinking / Argumentation theory / Haskell / Agda / Apply / Software engineering / Computing / Computer programming


Towards a framework for the implementation and verification of translations between argumentation models Bas van Gijzel Functional Programming Laboratory School of Computer Science University of Nottingham
Add to Reading List

Document Date: 2013-06-09 18:39:18

Open Document

File Size: 230,55 KB

Share Result on Facebook

City

St Andrews / San Francisco / /

Company

Starch Press / LG / Cambridge University Press / Knowledge Engineering Review / ak S. A. / AAAI Press / /

Country

United States / United Kingdom / /

/

Facility

Computer Science University of Nottingham bmv@cs.nott.ac.uk ABSTRACT In / Agda library / /

IndustryTerm

abstract argument systems / /

Organization

Cambridge University / AF (af) / Dung’s Intelligence / Computer Science University of Nottingham bmv@cs.nott.ac.uk ABSTRACT In / /

Person

Argumentation / G. Brewka / S. Woltran / /

Position

reasoning and belief revision General / /

Product

lemma4 / /

ProgrammingLanguage

Haskell / L / C / /

PublishedMedium

The Knowledge Engineering Review / /

SportsLeague

AF2 / /

Technology

Functional Programming / AIF / artificial intelligence / /

URL

http /

SocialTag