Search Sciweavers | Sciweavers

574 search results - page 23 / 115

» Coalitions in Action Logic

122

click to vote

DEON
2006
Springer

95views Automated Reasoning» more DEON 2006»

Roles, Counts-as and Deontic and Action Logics

15 years 9 months ago

Download www.cs.uu.nl

José Carmo

claim paper

Read More »

126

click to vote

DLOG
2007

120views Automated Reasoning» more DLOG 2007»

Actions and Programs over Description Logic Ontologies

15 years 8 months ago

Download www.dis.uniroma1.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

101

click to vote

SLOGICA
2008

76views more SLOGICA 2008»

Infinitary Action Logic: Complexity, Models and Grammars

15 years 6 months ago

Download www.staff.amu.edu.pl

Wojciech Buszkowski, Ewa Palka

claim paper

Read More »

130

click to vote

JAPLL
2007

52views more JAPLL 2007»

Specifying and verifying interaction protocols in a temporal action logic

15 years 6 months ago

Download www.di.unito.it

Laura Giordano, Alberto Martelli, Camilla Schwind

claim paper

Read More »

126

click to vote

AMAI
2004
Springer

75views Artificial Intelligence» more AMAI 2004»

Programming Rational Agents in a Modal Action Logic

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers