scientific article; zbMATH DE number 1418373

From MaRDI portal

Publication:4941936

Jump to:navigation, search

zbMath0946.03036MaRDI QIDQ4941936

Jaime Ramos, Amílcar Sernadas

Publication date: 19 March 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

reasoning about action situation calculus branching temporal logic situation and state calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Temporal logic (03B44)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4941936&oldid=19355778"