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 Denecker | 1 | 1626 | 106.40 |
Joost Vennekens | 2 | 434 | 37.36 |