Doctoral Consortium Extended Abstract: Planning with Concurrent Transaction Logic

DOI10.1007/978-3-319-23264-5_45zbMATH Open1467.68163OpenAlexW2399307548MaRDI QIDQ3449236FDOQ3449236

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (1)

• Title not available (Why is that?)

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)