Q4580322 (Q4580322): Difference between revisions

From MaRDI portal

Jump to:navigation, search

Latest revision as of 08:55, 16 July 2024

scientific article; zbMATH DE number 6917937

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 6917937

Statements

scholarly article

0 references

Willem Conradie

0 references

0 references

Guido Sciavicco

0 references

publication date

15 August 2018

0 references

full work available at URL

https://arxiv.org/abs/1805.08425

0 references

zbMATH Keywords

interval-based temporal logic

0 references

expressiveness

0 references

Allen's relations

0 references

MaRDI profile type

MaRDI publication profile

0 references

Actions and Events in Interval Temporal Logic

0 references

Maintaining knowledge about temporal intervals

0 references

Two-sorted Point-Interval Temporal Logics

0 references

The dark side of interval temporal logic: marking the undecidability border

0 references

Interval temporal logics over strongly discrete linear orders: expressiveness and complexity

0 references

Concerted instant-interval temporal semantics. I: Temporal ontologies

0 references

Temporal representation and reasoning in artificial intelligence: Issues and approaches

0 references

A propositional modal logic of time intervals

0 references

The logic of time. A model-theoretic investigation into the varieties of temporal ontology and temporal discourse.

0 references

A Modal Logic for Chopping Intervals

0 references

Identifiers

zbMATH Open document ID

0 references

10.23638/LMCS-14(2:15)2018

0 references

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:4580322

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4580322&oldid=36416412"