Paper Info
Title
Using Lightweight Inference to Solve Lightweight Problems
Abstract
Traditionally, Logic Programming and related Non-monotonic Reasoning formalisms have mainly been applied to "hard" AI problems, such as planning, scheduling, constraint solving, belief revision, etc. In the real world of software engineering, however, these hard problems are vastly outnumbered by more mundane tasks. A significant part of software that is written today consists of applications that any reasonably experienced programmer could write in a couple of weeks, using whatever imperative language happens to be the industry standard du jour .
Year
DOI
Venue
2009
10.1007/978-3-642-04238-6_69
LPNMR
Keywords
Field
DocType
belief revision,software engineering
Programmer,Programming language,Inference,Computer science,Algorithm,Imperative programming,Theoretical computer science,Software,Non-monotonic logic,Logic programming,Rotation formalisms in three dimensions,Belief revision
Conference
Volume
ISSN
Citations 
5753
0302-9743
0
PageRank 
References 
Authors
0.34
5
2
Name
Order
Citations
PageRank
Marc Denecker11626106.40
Joost Vennekens243437.36