Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Active Logic and Practice

Malec, Jacek LU orcid (2009) The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University p.49-53
Abstract
The problem of finding 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 first introduced, then we analyze 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.
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Chapter in Book/Report/Conference proceeding
publication status
published
subject
host publication
Linköping Electronic Conference Proceedings
editor
Heintz, Fredrik and Kvarnström, Jonas
issue
035
pages
5 pages
publisher
Linköping University Electronic Press
conference name
The Swedish AI Society Workshop May 27-28, 2009 IDA, Linköping University
conference location
Linköping, Sweden
conference dates
2009-05-27 - 2009-05-28
ISSN
1650-3740
1650-3686
language
English
LU publication?
yes
id
7d1c3e7d-dc8e-4779-923f-fbc965ec4831 (old id 4679170)
alternative location
http://www.ep.liu.se/ecp/035/ecp09035.pdf
date added to LUP
2016-04-01 11:36:13
date last changed
2021-10-05 02:26:13
@inproceedings{7d1c3e7d-dc8e-4779-923f-fbc965ec4831,
  abstract     = {{The problem of finding 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 first introduced, then we analyze 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.}},
  author       = {{Malec, Jacek}},
  booktitle    = {{Linköping Electronic Conference Proceedings}},
  editor       = {{Heintz, Fredrik and Kvarnström, Jonas}},
  issn         = {{1650-3740}},
  language     = {{eng}},
  number       = {{035}},
  pages        = {{49--53}},
  publisher    = {{Linköping University Electronic Press}},
  title        = {{Active Logic and Practice}},
  url          = {{https://lup.lub.lu.se/search/files/2556101/4679191.pdf}},
  year         = {{2009}},
}