Agent planning programs (Q899440): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
ReferenceBot (talk | contribs)
Changed an Item
 
(13 intermediate revisions by 4 users not shown)
Property / author
 
Property / author: Sebastian Sardiña / rank
Normal rank
 
Property / author
 
Property / author: Sebastian Sardiña / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: JTLV / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: IndiGolog / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: RATSY / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: 2APL / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Graphplan / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: ConGolog / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: GOLOG / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: NuSMV / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: AgentSpeak / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.artint.2015.10.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2193441267 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deterministic generators and games for Ltl fragments / rank
 
Normal rank
Property / cites work
 
Property / cites work: Using temporal logics to express search control knowledge for planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: A heuristic search approach to planning with temporally extended preferences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthesis of Reactive(1) designs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fast planning through planning graph analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symbolic model checking: \(10^{20}\) states and beyond / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4804909 / rank
 
Normal rank
Property / cites work
 
Property / cites work: NuSMV: A new symbolic model checker / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intention is choice with commitment / rank
 
Normal rank
Property / cites work
 
Property / cites work: A verification framework for agent programming with declarative goals / rank
 
Normal rank
Property / cites work
 
Property / cites work: ConGolog, a concurrent programming language based on the situation calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5282994 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automatic behavior composition synthesis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4144755 / rank
 
Normal rank
Property / cites work
 
Property / cites work: IMPACTing SHOP: Putting an AI planner into a multi-agent environment / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4385542 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nondeterministic Algorithms / rank
 
Normal rank
Property / cites work
 
Property / cites work: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4449304 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5313998 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automata, logics, and infinite games. A guide to current research / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3624014 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An axiomatic basis for computer programming / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5715723 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2717791 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Soft Goals Can Be Compiled Away / rank
 
Normal rank
Property / cites work
 
Property / cites work: GOLOG: A logic programming language for dynamic domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4449294 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Lower Bound on Web Services Composition / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2728922 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Verification, Model Checking, and Abstract Interpretation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4779807 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new representation and associated algorithms for generalized planning / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Common Knowledge Representation for Plan Generation and Reactive Execution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Planning and reacting in uncertain and dynamic environments / rank
 
Normal rank

Latest revision as of 05:58, 11 July 2024

scientific article
Language Label Description Also known as
English
Agent planning programs
scientific article

    Statements

    Agent planning programs (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    28 December 2015
    0 references
    agent-oriented programming
    0 references
    automated planning
    0 references
    reasoning about action and change
    0 references
    synthesis of reactive systems
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers