A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
Filters
Relaxation of Temporal Planning Problems
2013
2013 20th International Symposium on Temporal Representation and Reasoning
Preserved Fulltext
Our approach is orthogonal to relaxations based on the ignore-all-deletes approach used in non-temporal planning. ...
We show that our relaxation can even be applied to nontemporal problems, and can also be used to extend a tractable class of temporal planning problems. Temporal planning, relaxation, monotonicity. I. ...
INTRODUCTION Propositional non-temporal planning consists in finding a sequence of actions which transforms an initial state into a goal state. ...
doi:10.1109/time.2013.28
dblp:conf/time/CooperMR13
fatcat:nrl2jyr2rzhujex3cbijo52ieq
Monotone Temporal Planning: Tractability, Extensions and Applications
2014
The Journal of Artificial Intelligence Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Secondly, the monotonicity of sub-goal fluents allows us to express planning as an instance of STP≠ (Simple Temporal Problem with difference constraints). ...
We also show that any (temporal) planning problem has a monotone relaxation which can lead to the polynomial-time detection of its unsolvability in certain cases. ...
Different orderings between landmarks have been studied in non-temporal planning. ...
doi:10.1613/jair.4358
fatcat:6cf4xzs535cd3oe6a72x3batmy
Page 494 of Mathematical Reviews Vol. , Issue 98A
[page]
1998
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The idea is that as steps in a reasoning process are taken, whenever a number of non-monotonic inference steps are used, temporal rules take corresponding steps in the temporal model. ...
It is shown that these specifications in temporal formalization can be executed, leading to a general al- gorithm for executing non-monotonic reasoning processes. ...
Monotone Temporal Planning: Tractability, Extensions and Applications
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Secondly, the monotonicity of fluents allows us to express planning as an instance of STP = (Simple Temporal Problem with difference constraints). ...
Any (temporal) planning problem has a monotone relaxation, which can lead to the polynomial-time detection of its unsolvability in certain cases. ...
The class of temporal planning problems described in Theorem 1 which also have the property that all fluents can be detected as monotone* by Lemma 2 constitutes a tractable class that can be detected and ...
doi:10.1007/978-3-319-10428-7_69
fatcat:hvzyj2jn3zauhjg722g3go2lfm
Forthcoming papers
1997
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We describe goals by using a modal temporal logic that can express quite complex time, safety, and lliveness constraints. ...
This paper describes a powerful extension of this approach for handling complex goals for reactive agents. ...
In this paper we introduce a simple non-monotonic knowledge representation framework which isomorphically contains all of the above mentioned non-monotonic formalisms and semantics as special cases and ...
doi:10.1016/s0004-3702(97)90022-9
fatcat:kwtxpsjqd5gw7idafuw66hz5em
Organizational principles of multidimensional predictions in human auditory attention
2018
Scientific Reports
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In a series of behavioral auditory experiments involving musical experts and non-musicians, we investigated the respective and combined contribution of temporal and spectral predictions in multiple detection ...
We show that temporal and spectral predictions alone systematically increase perceptual sensitivity, independently of task demands or expertise. ...
Fig. 1a); temporal task in monotone/polytone periodic conditions (exp. 2; Fig. 2a); spectral task in monotone/polytone periodic conditions (exp. 3; Fig. 3a); and temporal task in periodic/aperiodic monotone ...
doi:10.1038/s41598-018-31878-5
pmid:30194376
pmcid:PMC6128843
fatcat:dgrhjfrktjegnkes6kz4mkqnyi
Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment
1973
Journal of Philosophical Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
This paper is the first in a series in reformulating classical and non-classical logic in a goal directed way. ...
This paper started the area now known as 'Axiomatic non-monotonic reasoning'. ...
Temporal Logic, Tense or Non-tense
A Goal Directed Theorem Prover for Predicate Logic based on Conjunction and Implications (with F. ...
doi:10.1007/bf00129607
fatcat:e6lokulrwrfcvl525fgj6dcr3m
Automata Techniques for Temporal Answer Set Programming
2021
Electronic Proceedings in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2021 pre-print arXiv:2109.08279v1 fatcat:wvorllc7djb4zp5rlguujaywee
Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason with dynamic scenarios ...
Status In the current status of the project, we have not yet explored the non-monotonic side of temporal reasoning. ...
The research started with infinite traces giving rise to (Linear) Temporal Here-and-There (THT) [2] and (Linear) Dynamic logic of Here-and-There (DHT) [7] with their non-monotonic counterpart for temporal ...
doi:10.4204/eptcs.345.42
fatcat:3f37xiiesbda7hhrs74amnebla
Time and Defeasibility in FIPA ACL Semantics
2008
2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We are interested in their non-monotonic character, their temporal aspects and the persistence of their preconditions and effects. ...
persistence and non-monotonicity. ...
doi:10.1109/wiiat.2008.275
dblp:conf/iat/BoellaGHRRT08
fatcat:gxeywmfkvrdhbgaxvlravzxkry
Time and defeasibility in FIPA ACL semantics
2011
Journal of Applied Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
We are interested in their non-monotonic character, their temporal aspects and the persistence of their preconditions and effects. ...
persistence and non-monotonicity. ...
doi:10.1016/j.jal.2011.09.006
fatcat:enzmepppifbafio3yrtycs6do4
A Formal Analysis of Complexity Monotonicity
[chapter]
2010
Unifying Themes in Complex Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this case the Complexity Monotonicity Thesis can be reformulated as cm(E 1 ) ≤ cm(E 2 ) cm(B 1 ) ≤ cm(B 2 ) & cm(B 1 ) ≤ cm(B 2 ) cm(C 1 ) ≤ cm(C 2 ) The Temporal Complexity Monotonicity Thesis can ...
Formalisation of Temporal Complexity The Complexity Monotonicity Thesis discussed earlier involves environmental, behavioural and cognitive dynamics of living systems. ...
doi:10.1007/978-3-540-85081-6_33
fatcat:vryfc4jpuzfndbimxs4egf65ci
A review of proposed principles of causal non-monotonic reasoning
2020
The Australasian Journal of Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Within Non-monotonic Reasoning, numerous principles of causal reasoning have been proposed. ...
Further, we discuss a new approach to causal non-monotonic reasoning motivated by how humans typically reason with causality. ...
Thus we do not think that the Principle of Temporality should be a principle of causal non-monotonic reasoning. ...
doi:10.26686/ajl.v17i3.5705
fatcat:kxadtc34xrcsplxdxavaus2vuu
Compliance Games
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In compliance games, players are rewarded for achieving their goals while complying to social laws, and punished for non-compliance. ...
In this paper we analyze compliance games, which are games induced by agent-labeled Kripke structures, goal formulas in the language of ctl and behavioral constraints. ...
Lemma 3. 1 . 1 Compliance games are not always monotone.
Fig. 1 . 1 A Kripke structure which induces a non-monotone compliance game, illustrating Lemma 3.1. ...
doi:10.1007/978-3-319-17130-2_14
fatcat:7n5ursi4fffzvac2clcqnme32y
A Non-monotonic Goal Specification Language for Planning with Preferences
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
This paper introduces a default logic based approach to defining goal specification languages that can be non-monotonic and allow for the specification of inconsistencies and priorities among goals. ...
It then defines goal default theories (resp. with priorities) by embedding goal formulae into default logic (resp. prioritizing default logic). ...
Conclusions and Future Work In this paper, we describe a default logic based approach to defining non-monotonic goal specification languages. ...
doi:10.1007/978-3-319-14726-0_14
fatcat:huld3fxbs5bjzlh2ddlodjnmla
Page 1117 of Journal of Cognitive Neuroscience Vol. 15, Issue 8
[page]
2003
Journal of Cognitive Neuroscience
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
based on the current task goals and situation. ...
After all, like the spatial task the non- spatial task required manual responses based on exter- nal cues. ...
« Previous
Showing results 1 — 15 out of 58,734 results