| Files: | Description | File size | Format | Browse |
| Fulltext | 0.12 MB | PDF (requires Acrobat Reader) | Previous | Next |
| | |
| Authors: | Jacek Malec: Department of Computer Science, Lund University, Sweden |
| Publication title: | Active logic and practice |
| Conference: | The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University |
| Publication type: | Abstract and Fulltext |
| Issue: | 035 |
| Article No.: | 009 |
| Abstract: | The problem of nding a suitable formal approach to describe on-going reasoning process has been open since the very beginning of AI. In this paper we argue that active logic might be a formalism useful in this context. Active logic is rst introduced, then we analyse resource limitations that constrain the space of possible practical realisations of such reasoners. Finally some steps towards creating a practical active logic reasoner are presented. |
| Language: | English |
| Year: | 2009 |
| No. of pages: | 5 |
| Pages: | 49-53 |
| Series: | Linköping Electronic Conference Proceedings |
| ISSN (print): | 1650-3686 |
| ISSN (online): | 1650-3740 |
| File: | http://www.ep.liu.se/ecp/035/009/ecp0935009.pdf |
| Available: | 2009-05-27 |
| Publisher: | Linköping University Electronic Press, Linköpings universitet |
|
| REFERENCE TO THIS PAGE |
Ph.D., Lic. Theses
