Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
About
About the Institutional Repository
Use Policy
FAQs (Frequently Asked Questions)
Credits
Access Statistics
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Repositório PUCRS
Search
Search:
All Repository
DOCUMENTOS INSTITUCIONAIS
PUBLICAÇÕES CIENTÍFICAS
TRABALHOS DE CONCLUSÃO DE CURSO
for
Current filters:
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-5 of 5 (Search time: 0.001 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2017
A Dynamic Preference Logic for reasoning about Agent Programming
Marlo Souza
;
Álvaro Freitas Moreira
;
Renata Vieira
2018
Tractable Reasoning about Agent Programming in Dynamic Preference Logic
Marlo Souza
;
Álvaro Freitas Moreira
;
Renata Vieira
2016
Preference and Priorities: A Study Based on Contrction
Marlo Souza
;
Álvaro Freitas Moreira
;
Renata Vieira
;
MEYER, JOHN-JULES
2019
Iterated Belief Base Change: A Dynamic Epistemic Logic Approach
Marlo Souza
;
Álvaro Freitas Moreira
;
Renata Vieira
2018
Iterated Belief Base Change: a Dynamic Epistemic Logic approach
Marlo Souza
;
Álvaro Freitas Moreira
;
Renata Vieira
Explore
Author
5
Marlo Souza
1
MEYER, JOHN-JULES
Issue Date
1
2019
2
2018
1
2017
1
2016