Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic

DOI10.1007/978-3-319-23264-5_45MaRDI QIDQ3449236zbMATH OpenOpenAlexFDO

Authors Reza Basseda

Publication date 4 November 2015

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23264-5_45

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• On Linear Logic Planning and Concurrency
• On linear logic planning and concurrency
• Coordination Models and Languages
• scientific article; zbMATH DE number 879003
• Conclog: a methodological approach to concurrent logic programming
• Towards the assessment of logics for concurrent actions

Cites work

• scientific article; zbMATH DE number 41230 (Why is no real title available?)
• scientific article; zbMATH DE number 1182730 (Why is no real title available?)
• A deductive solution for plan generation
• A new deductive approach to planning
• An overview of transaction logic
• Answer set programming and plan generation
• Domain-dependent knowledge in answer set planning
• Gearing up for effective ASP planning
• On Linear Logic Planning and Concurrency
• Planning with regression analysis in transaction logic
• STRIPS: A new approach to the application of theorem proving to problem solving
• Solving sequential planning problems via constraint satisfaction

Cited in

(1)

• scientific article; zbMATH DE number 2086991 (Why is no real title available?)

This page was built for publication: Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449236)