tag :: temporal logic

Lesezeichen (verstecken)1
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1Index of /~dant/papers/
a paper on extending RETE to support temporal logic
vor 17 Jahren von @fmeyer
alle anzeigen
logic
rete
temporal
logicretetemporal
(0)
KopierenLöschen
- Community-Eintrag
- Versionsverlauf dieses Eintrags

⟨⟨
⟨
1
⟩
⟩⟩

Publikationen (verstecken)11
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

2Towards Practical OBDA with Temporal Ontologies - (Position Paper)
D. Calvanese, E. Kalayci, V. Ryzhikov, und G. Xiao. Proceedings of the 10th International Conference on Web Reasoning and Rule Systems (RR~2016), Volume 9898 von Lecture Notes in Computer Science, Seite 18--24. Springer, (2016)
vor 8 Jahren von @calvanese
alle anzeigen
,
Description
Ontology-based
Temporal
access,
data
logic
logic,
optique-project
,DescriptionOntology-basedTemporalaccess,datalogiclogic,optique-project
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Proposing a Formal Method for Workflow Modelling: Temporal Logic of Actions (TLA)
J. Caro. International Journal of Computer Science: Theory and Application, 1 (1): 11 (2014)
vor 10 Jahren von @ijcsta
alle anzeigen
Actions.
Logic
Management
Systems—
Temporal
Workflow
of
—
Actions.LogicManagementSystems—TemporalWorkflowof—
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
5The Temporal Logic of Programs
A. Pnueli. FOCS, Seite 46-57. IEEE Computer Society, (1977)
vor 12 Jahren von @davef
alle anzeigen
diss
formal
logic
model_checking
temporal
dissformallogicmodel_checkingtemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Addressing temporal aspects of privacy-related norms
G. Piolle, und Y. Demazeau. 18th European Conference on Artificial Intelligence (ECAI'08), Seite 863-864. Patras, Greece, ECCAI, IOS Press, (Juli 2008)
vor 15 Jahren von @piolle
alle anzeigen
deadline
deontic
logic
norm
privacy
short
temporal
deadlinedeonticlogicnormprivacyshorttemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Agents utilisateurs pour la protection des données personnelles : modélisation logique et outils informatiques
G. Piolle. Université Joseph Fourier - Grenoble I, Grenoble, France, PhD thesis, (Juni 2009)
vor 15 Jahren von @piolle
alle anzeigen
agent
deontic
french
logic
norm
privacy
reasoning
temporal
thesis
user-centred
agentdeonticfrenchlogicnormprivacyreasoningtemporalthesisuser-centred
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2Test oracles
L. Baresi, und M. Young. CIS-TR01-02. (2001)
vor 17 Jahren von @ist_spl
alle anzeigen
Z
logic
oracle
temporal
test
Zlogicoracletemporaltest
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
20Maintaining Knowledge about Temporal Intervals
J. Allen. Communications of the ACM, (1983)
vor 18 Jahren von @schaal
alle anzeigen
interval
interval-temporal-logic
logic
temporal
intervalinterval-temporal-logiclogictemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
4Actions and Events in Interval Temporal Logic
J. Allen, und G. Ferguson. Journal of Logic and Computation, 4 (5): 531--579 (Oktober 1994)
vor 18 Jahren von @schaal
alle anzeigen
interval
interval-temporal-logic
logic
temporal
intervalinterval-temporal-logiclogictemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
1Introduction to the special issue on temporal information processing
I. Mani, J. Pustejovsky, und B. Sundheim. ACM Transactions on Asian Language Information Processing (TALIP), 3 (1): 1--10 (März 2004)
vor 18 Jahren von @neilernst
alle anzeigen
logic
temporal
logictemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
2The INFOLOG linear tense propositional logic of events and transactions
J. Fiadeiro, und A. Sernadas. Information Systems, 11 (1): 61--85 (1986)
vor 18 Jahren von @neilernst
alle anzeigen
logic
formal
model
requirements
temporal
logicformalmodelrequirementstemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen
20Maintaining knowledge about temporal intervals
J. Allen. Commun. ACM, 26 (11): 832--843 (November 1983)
vor 18 Jahren von @neilernst
alle anzeigen
logic
temporal
logictemporal
(0)
KopierenLöschenDiese Publikation zur Ablage hinzufügen

⟨⟨
⟨
1
⟩
⟩⟩

BibSonomy

Lesezeichen (verstecken)1
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

1Index of /~dant/papers/

Publikationen (verstecken)11
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...

2Towards Practical OBDA with Temporal Ontologies - (Position Paper)

1Proposing a Formal Method for Workflow Modelling: Temporal Logic of Actions (TLA)

5The Temporal Logic of Programs

2Addressing temporal aspects of privacy-related norms

1Agents utilisateurs pour la protection des données personnelles : modélisation logique et outils informatiques

2Test oracles

20Maintaining Knowledge about Temporal Intervals

4Actions and Events in Interval Temporal Logic

1Introduction to the special issue on temporal information processing

2The INFOLOG linear tense propositional logic of events and transactions

20Maintaining knowledge about temporal intervals

Stöbern

Verwandte Tags

Lesezeichen (verstecken)1 Anzeigeallesnur LesezeichenLesezeichen pro Seite5102050100 sortieren nachhinzugefügt amTitel RSSBibTeXXML

Publikationen (verstecken)11 Anzeigeallesnur PublikationenPublikationen pro Seite5102050100 sortieren nachhinzugefügt amTitelAutorErscheinungsdatumEintragstypHilfe für erweiterte Sortierung... RSSBibTeXRDFmehr...

Stöbern

Verwandte Tags

Lesezeichen (verstecken)1
Anzeige
alles
nur Lesezeichen
Lesezeichen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
RSS
BibTeX
XML

Publikationen (verstecken)11
Anzeige
alles
nur Publikationen
Publikationen pro Seite
5
10
20
50
100
sortieren nach
hinzugefügt am
Titel
Autor
Erscheinungsdatum
Eintragstyp
Hilfe für erweiterte Sortierung...
RSS
BibTeX
RDF
mehr...