Files:DescriptionFile size FormatBrowse
Fulltext0.12 MBPDF (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
Jacek Malec (2009). Active logic and practice, The Swedish AI Society Workshop May 27-28; 2009 IDA; Linköping University http://www.ep.liu.se/ecp_article/index.en.aspx?issue=035;article=009 (accessed 12/23/2014)