Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,258,569 papers from all fields of science
Search
Sign In
Create Free Account
Fluent (artificial intelligence)
Known as:
Fluent
In artificial intelligence, a fluent is a condition that can change over time. In logical approaches to reasoning about actions, fluents can be…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
11 relations
Action language
Artificial intelligence
Event calculus
First-order logic
Expand
Broader (1)
Logic in computer science
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Program Updating by Incremental and Answer Subsumption Tabling
A. Saptawijaya
,
L. Pereira
International Conference on Logic Programming and…
2013
Corpus ID: 14111898
We propose a novel conceptual approach to program updates implementation that exploits two features of tabling in logic…
Expand
2009
2009
Ontology-Aware Classification and Association Rule Mining for Interest and Link Prediction in Social Networks
Waleed Aljandal
,
Vikas Bahirwani
,
Doina Caragea
,
W. Hsu
AAAI Spring Symposium: Social Semantic Web: Where…
2009
Corpus ID: 7121344
Previous work on analysis of friendship networks has identified ways in which graph features can be used for prediction of link…
Expand
2006
2006
Goal and scenario validation: a fluent combination
Sebastián Uchitel
,
Robert Chatley
,
J. Kramer
,
J. Magee
Requirements Engineering
2006
Corpus ID: 5832651
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They…
Expand
2005
2005
The Chisholm Paradox and the Situation Calculus
R. Demolombe
,
Maria del Pilar Pozos Parra
International Syposium on Methodologies for…
2005
Corpus ID: 11551287
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers from certain paradoxes of…
Expand
2003
2003
A Situation Calculus-based Approach To Model Ubiquitous Information Services
Wen Dong
,
Ke Xu
,
Mengxiang Lin
arXiv.org
2003
Corpus ID: 12407749
This paper presents an augmented situation calculus-based approach to model autonomous computing paradigm in ubiquitous…
Expand
2001
2001
Fluent Learning: Elucidating the Structure of Episodes
P. Cohen
International Symposium on Intelligent Data…
2001
Corpus ID: 1613069
Fluents are logical descriptions of situations that persist, and composite fluents are statistically significant temporal…
Expand
Highly Cited
2000
Highly Cited
2000
Open World Planning in the Situation Calculus
Alberto Finzi
,
F. Pirri
,
R. Reiter
AAAI/IAAI
2000
Corpus ID: 7769512
We describe a forward reasoning planner for open worlds that uses domain specificinformation for pruning its search space, as…
Expand
Highly Cited
1998
Highly Cited
1998
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability
E. Giunchiglia
,
A. Massarotto
,
R. Sebastiani
AAAI/IAAI
1998
Corpus ID: 17217795
In this paper we focus on Planning as Satisfiability (SAT). We build from the simple consideration that the values of fiuents at…
Expand
1997
1997
Planning with graded nondeterministic actions: A possibilistic approach
C. Pereira
,
Frédérick Garçia
,
J. Lang
,
R. Martin-Clouaire
International Journal of Intelligent Systems
1997
Corpus ID: 16910787
This article proposes a framework for planning under uncertainty given a partially known initial state and a set of actions…
Expand
Highly Cited
1995
Highly Cited
1995
Towards a Qualitative Theory of Movement
Antony Galton
Conference On Spatial Information Theory
1995
Corpus ID: 16699542
The phenomenon of movement arises whenever the same object occupies different positions in space at different times. Therefore a…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE