Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Events
Seminars
News
Management
You are here:
Home
Publications
View
Publication details
Publication details
Main information
Title:
How to model legal reasoning using dynamic logic programming: a preliminary report
Publication date:
December 2003
Citation:
pq03l
Abstract:
-
In proceedings
Authors:
Nuno Graça,
Paulo Quaresma
Editors:
Daniele Bourcier
Book title:
JURIX'03 - The 16th Annual Conference on Legal Knowledge and Information Systems
Series:
-
Publisher:
IOS Press
Address:
Utrecht, Netherlands
Volume:
-
Pages:
163-172
ISBN:
1-58603-398-0
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
Nuno Graça and Paulo Quaresma, How to model legal reasoning using dynamic logic programming: a preliminary report, in: Daniele Bourcier (eds), JURIX'03 - The 16th Annual Conference on Legal Knowledge and Information Systems, IOS Press, Utrecht, Netherlands, ISBN 1-58603-398-0, Pag. 163-172, December 2003.
HTML:
Nuno Graça and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6bbcbe7fa6571e2b3156f86d78f40c8a_amp_cscd=d5ceddad37df047dcba9f3fa08c2a3ef" class="author">Paulo Quaresma</a>, <b>How to model legal reasoning using dynamic logic programming: a preliminary report</b>, in: Daniele Bourcier (eds), <u>JURIX'03 - The 16th Annual Conference on Legal Knowledge and Information Systems</u>, <a href="http://www.iospress.nl/" title="Link to external entity..." target="_blank" class="publisher">IOS Press</a>, Utrecht, Netherlands, ISBN 1-58603-398-0, Pag. 163-172, December 2003.
BibTeX:
@inproceedings {pq03l, author = {Nuno Gra\c{c}a and Paulo Quaresma}, editor = {Daniele Bourcier}, title = {How to model legal reasoning using dynamic logic programming: a preliminary report}, booktitle = {JURIX'03 - The 16th Annual Conference on Legal Knowledge and Information Systems}, publisher = {IOS Press}, address = {Utrecht, Netherlands}, pages = {163-172}, isbn = {1-58603-398-0}, month = {December}, year = {2003}, }
Publication's urls
Full url:
http://centria.di.fct.unl.pt/publications/view.php?code=8abd872d0e2b2b5f30cbc4daf33de84b
Friendly url:
http://centria.di.fct.unl.pt/publications/view.php?code=pq03l
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541