Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carlos Viegas Damásio
@inproceedings{DBLP:conf/iv/FerreiraPD22,
author = {Maria D'Amaral Ferreira and
Jo{\~{a}}o Moura Pires and
Carlos Viegas Dam{\'{a}}sio},
editor = {Ebad Banissi and
Anna Ursyn and
Mark W. McK. Bannatyne and
Jo{\~{a}}o Moura Pires and
Nuno Datia and
Kawa Nazemi and
Boris Kovalerchuk and
Razvan Andonie and
Minoru Nakayama and
Filippo Sciarrone and
Weidong Huang and
Quang Vinh Nguyen and
Mabule Samuel Mabakane and
Adrian Rusu and
Marco Temperini and
Urska Cvek and
Marjan Trutschl and
Heimo M{\"{u}}ller and
Harri Siirtola and
Wai Lok Woo and
Rita Francese and
Veronica Rossano and
Tania Di Mascio and
Fatma Bouali and
Gilles Venturini and
Sebastian Kernbach and
Delfina Malandrino and
Rocco Zaccagnino and
Jian J. Zhang and
Xiaosong Yang and
Vladimir Geroimenko},
title = {Visualizing Temporal Data using Time-dependent Non-decreasing Monotone
Functions},
booktitle = {26th International Conference Information Visualisation, {IV} 2022,
Vienna, Austria, July 19-22, 2022},
pages = {33--39},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/IV56949.2022.00015},
doi = {10.1109/IV56949.2022.00015},
timestamp = {Tue, 30 Jan 2024 14:33:27 +0100},
biburl = {https://dblp.org/rec/conf/iv/FerreiraPD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/KnorrDGL22,
author = {Matthias Knorr and
Carlos Viegas Dam{\'{a}}sio and
Ricardo Gon{\c{c}}alves and
Jo{\~{a}}o Leite},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Towards Provenance in Heterogeneous Knowledge Bases},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {287--300},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_22},
doi = {10.1007/978-3-031-15707-3\_22},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/KnorrDGL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/AfonsoNDPBS20,
author = {Ricardo Afonso and
Andr{\'{e}} Neves and
Carlos Viegas Dam{\'{a}}sio and
Jo{\~{a}}o Moura Pires and
Fernando Pedro Birra and
Maribel Yasmina Santos},
title = {Assessment of Interventions in Fuel Management Zones Using Remote
Sensing},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {9},
number = {9},
pages = {533},
year = {2020},
url = {https://doi.org/10.3390/ijgi9090533},
doi = {10.3390/IJGI9090533},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgi/AfonsoNDPBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DiasMPSED19,
author = {Didier Dias and
Bruno Martins and
Jo{\~{a}}o Moura Pires and
Lu{\'{\i}}s Moreira de Sousa and
Jacinto Estima and
Carlos Viegas Dam{\'{a}}sio},
editor = {Paulo Moura Oliveira and
Paulo Novais and
Lu{\'{\i}}s Paulo Reis},
title = {Soil Classification Based on Physical and Chemical Properties Using
Random Forests},
booktitle = {Progress in Artificial Intelligence - 19th {EPIA} Conference on Artificial
Intelligence, {EPIA} 2019, Vila Real, Portugal, September 3-6, 2019,
Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11804},
pages = {212--223},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30241-2\_19},
doi = {10.1007/978-3-030-30241-2\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/DiasMPSED19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iecon/RacoesFPD19,
author = {Hugo D. L. Ra{\c{c}}{\~{o}}es and
Fernando J. T. E. Ferreira and
Jo{\~{a}}o Moura Pires and
Carlos Viegas Dam{\'{a}}sio},
title = {Application of Different Machine Learning Strategies for Current-
and Vibration-based Motor Bearing Fault Detection in Induction Motors},
booktitle = {{IECON} 2019 - 45th Annual Conference of the {IEEE} Industrial Electronics
Society, Lisbon, Portugal, October 14-17, 2019},
pages = {68--73},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/IECON.2019.8927129},
doi = {10.1109/IECON.2019.8927129},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iecon/RacoesFPD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-10799,
author = {Andr{\'{e}} Neves and
Carlos Viegas Dam{\'{a}}sio and
Jo{\~{a}}o Moura Pires and
Fernando Pedro Birra},
title = {Dete{\c{c}}{\~{a}}o de estruturas permanentes a partir de dados de
s{\'{e}}ries temporais Sentinel 1 e 2},
journal = {CoRR},
volume = {abs/1912.10799},
year = {2019},
url = {http://arxiv.org/abs/1912.10799},
eprinttype = {arXiv},
eprint = {1912.10799},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-10799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/SantosFPD17,
author = {Tiago dos Santos and
Fernando J. T. E. Ferreira and
Jo{\~{a}}o Moura Pires and
Carlos Viegas Dam{\'{a}}sio},
editor = {Eug{\'{e}}nio C. Oliveira and
Jo{\~{a}}o Gama and
Zita A. Vale and
Henrique Lopes Cardoso},
title = {Severity Estimation of Stator Winding Short-Circuit Faults Using Cubist},
booktitle = {Progress in Artificial Intelligence - 18th {EPIA} Conference on Artificial
Intelligence, {EPIA} 2017, Porto, Portugal, September 5-8, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10423},
pages = {217--228},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65340-2\_18},
doi = {10.1007/978-3-319-65340-2\_18},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/SantosFPD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/AlvesDC17,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Przemyslaw R{\'{o}}zewski and
Christoph Lange},
title = {Temporal Reasoning with Non-convex Intervals},
booktitle = {Knowledge Engineering and Semantic Web - 8th International Conference,
{KESW} 2017, Szczecin, Poland, November 8-10, 2017, Proceedings},
series = {Communications in Computer and Information Science},
volume = {786},
pages = {127--142},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69548-8\_10},
doi = {10.1007/978-3-319-69548-8\_10},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kesw/AlvesDC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/AlvesDC16,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Axel{-}Cyrille Ngonga Ngomo and
Petr Kremen},
title = {{RDF} Query and Inference in Prolog},
booktitle = {Knowledge Engineering and Semantic Web - 7th International Conference,
{KESW} 2016, Prague, Czech Republic, September 21-23, 2016, Proceedings},
series = {Communications in Computer and Information Science},
volume = {649},
pages = {191--201},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45880-9\_15},
doi = {10.1007/978-3-319-45880-9\_15},
timestamp = {Mon, 26 Jun 2023 20:49:00 +0200},
biburl = {https://dblp.org/rec/conf/kesw/AlvesDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webmedia/AlvesDC16,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {F{\'{a}}bio de Jesus Lima Gomes and
Ricardo de Andrade Lira Rabelo and
Carlos de Salles Soares Neto and
Roberto Willrich and
C{\'{e}}sar Augusto Camillo Teixeira and
Jussara Marques de Almeida and
Windson Viana de Carvalho},
title = {A Semantic Web Approach to Low-Level Features in Images},
booktitle = {Proceedings of the 22nd Brazilian Symposium on Multimedia and the
Web, Webmedia 2016, Teresina, Piau{\'{\i}} State, Brazil, November
8-11, 2016},
pages = {195--198},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2976796.2988176},
doi = {10.1145/2976796.2988176},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/webmedia/AlvesDC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AnalytiDA15,
author = {Anastasia Analyti and
Carlos Viegas Dam{\'{a}}sio and
Grigoris Antoniou},
title = {Extended {RDF:} Computability and complexity issues},
journal = {Ann. Math. Artif. Intell.},
volume = {75},
number = {3-4},
pages = {267--334},
year = {2015},
url = {https://doi.org/10.1007/s10472-015-9451-0},
doi = {10.1007/S10472-015-9451-0},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/AnalytiDA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwet/AnalytiDP15,
author = {Anastasia Analyti and
Carlos Viegas Dam{\'{a}}sio and
Ioannis Pachoulakis},
title = {Nested contextualised views in the web of data},
journal = {Int. J. Web Eng. Technol.},
volume = {10},
number = {1},
pages = {31--64},
year = {2015},
url = {https://doi.org/10.1504/IJWET.2015.069360},
doi = {10.1504/IJWET.2015.069360},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwet/AnalytiDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/MouraD15,
author = {Jo{\~{a}}o Moura Pires and
Carlos Viegas Dam{\'{a}}sio},
editor = {Francisco C. Pereira and
Penousal Machado and
Ernesto Costa and
Am{\'{\i}}lcar Cardoso},
title = {Allowing Cyclic Dependencies in Modular Logic Programming},
booktitle = {Progress in Artificial Intelligence - 17th Portuguese Conference on
Artificial Intelligence, {EPIA} 2015, Coimbra, Portugal, September
8-11, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9273},
pages = {363--375},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23485-4\_37},
doi = {10.1007/978-3-319-23485-4\_37},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/epia/MouraD15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/DamasioMA15,
author = {Carlos Viegas Dam{\'{a}}sio and
Jo{\~{a}}o Moura Pires and
Anastasia Analyti},
editor = {Marina De Vos and
Thomas Eiter and
Yuliya Lierler and
Francesca Toni},
title = {Unifying Justifications and Debugging for Answer-Set Programs},
booktitle = {Proceedings of the Technical Communications of the 31st International
Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
31 - September 4, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1433},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1433/tc\_84.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/DamasioMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/AlvesDC15,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Pavel Klinov and
Dmitry Mouromtsev},
title = {Extracting Metadata from Multimedia Content on Facebook as Media Annotations},
booktitle = {Knowledge Engineering and Semantic Web - 6th International Conference,
{KESW} 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings},
series = {Communications in Computer and Information Science},
volume = {518},
pages = {243--252},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24543-0\_18},
doi = {10.1007/978-3-319-24543-0\_18},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kesw/AlvesDC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/AlvesDC15a,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Pavel Klinov and
Dmitry Mouromtsev},
title = {{SPARQL} Commands in Jena Rules},
booktitle = {Knowledge Engineering and Semantic Web - 6th International Conference,
{KESW} 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings},
series = {Communications in Computer and Information Science},
volume = {518},
pages = {253--262},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24543-0\_19},
doi = {10.1007/978-3-319-24543-0\_19},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kesw/AlvesDC15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/AlvesDC15b,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Pavel Klinov and
Dmitry Mouromtsev},
title = {Gathering Photos from Social Networks Using Semantic Technologies},
booktitle = {Knowledge Engineering and Semantic Web - 6th International Conference,
{KESW} 2015, Moscow, Russia, September 30 - October 2, 2015, Proceedings},
series = {Communications in Computer and Information Science},
volume = {518},
pages = {263--272},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24543-0\_20},
doi = {10.1007/978-3-319-24543-0\_20},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kesw/AlvesDC15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AnalytiDAP14,
author = {Anastasia Analyti and
Carlos Viegas Dam{\'{a}}sio and
Grigoris Antoniou and
Ioannis Pachoulakis},
title = {Why-provenance information for RDF, rules, and negation},
journal = {Ann. Math. Artif. Intell.},
volume = {70},
number = {3},
pages = {221--277},
year = {2014},
url = {https://doi.org/10.1007/s10472-013-9396-0},
doi = {10.1007/S10472-013-9396-0},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/AnalytiDAP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agile/RodriguesDC14,
author = {Armanda Rodrigues and
Carlos Viegas Dam{\'{a}}sio and
Jos{\'{e}} Emanuel Cunha},
editor = {Joaqu{\'{\i}}n Huerta and
Sven Schade and
Carlos Granell},
title = {Using {GPS} Logs to Identify Agronomical Activities},
booktitle = {Connecting a Digital Europe Through Location and Place - International
AGILE'2014 Conference, Castellon, Spain, 13-16 June, 2014},
series = {Lecture Notes in Geoinformation and Cartography},
pages = {105--121},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-03611-3\_7},
doi = {10.1007/978-3-319-03611-3\_7},
timestamp = {Mon, 05 Feb 2024 20:32:55 +0100},
biburl = {https://dblp.org/rec/conf/agile/RodriguesDC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jist/AlvesDC14,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Thepchai Supnithi and
Takahira Yamaguchi and
Marut Buranarach},
title = {Gathering Photos from Social Networks Using Semantic Technologies},
booktitle = {Workshop and Poster Proceedings of the 4th Joint International Semantic
Technology Conference, {JIST} 2014, Chiang Mai, Thailand, November
9-11, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1312},
pages = {112--115},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1312/jist2014pd\_paper1.pdf},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jist/AlvesDC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MouraD14,
author = {Jo{\~{a}}o Moura Pires and
Carlos Viegas Dam{\'{a}}sio},
title = {Generalizing Modular Logic Programs},
journal = {CoRR},
volume = {abs/1404.7205},
year = {2014},
url = {http://arxiv.org/abs/1404.7205},
eprinttype = {arXiv},
eprint = {1404.7205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MouraD14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/AnalytiADP13,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio and
Ioannis Pachoulakis},
title = {A framework for modular {ERDF} ontologies},
journal = {Ann. Math. Artif. Intell.},
volume = {67},
number = {3-4},
pages = {189--249},
year = {2013},
url = {https://doi.org/10.1007/s10472-013-9350-1},
doi = {10.1007/S10472-013-9350-1},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/AnalytiADP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioAA13,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou},
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Justifications for Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
pages = {530--542},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8\_53},
doi = {10.1007/978-3-642-40564-8\_53},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioAA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/riao/AlvesDC13,
author = {Miguel Bento Alves and
Carlos Viegas Dam{\'{a}}sio and
Nuno Correia},
editor = {Jo{\~{a}}o Ferreira and
Jo{\~{a}}o Magalh{\~{a}}es and
P{\'{a}}vel Calado},
title = {Improving tag-based image search by using linked open data},
booktitle = {Open research Areas in Information Retrieval, {OAIR} 2013, Lisbon,
Portugal, May 15-17, 2013},
pages = {21--24},
publisher = {{ACM}},
year = {2013},
url = {http://dl.acm.org/citation.cfm?id=2491753},
timestamp = {Mon, 10 May 2021 16:29:16 +0200},
biburl = {https://dblp.org/rec/conf/riao/AlvesDC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/DamasioAA12,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {Provenance for {SPARQL} Queries},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7649},
pages = {625--640},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35176-1\_39},
doi = {10.1007/978-3-642-35176-1\_39},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/DamasioAA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1209-0378,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou},
title = {Provenance for {SPARQL} queries},
journal = {CoRR},
volume = {abs/1209.0378},
year = {2012},
url = {http://arxiv.org/abs/1209.0378},
eprinttype = {arXiv},
eprint = {1209.0378},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1209-0378.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/AnalytiAD11,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio},
title = {MWeb: {A} principled framework for modular web rule bases and its
semantics},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {2},
pages = {17:1--17:46},
year = {2011},
url = {https://doi.org/10.1145/1877714.1877723},
doi = {10.1145/1877714.1877723},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AnalytiAD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioM11,
author = {Carlos Viegas Dam{\'{a}}sio and
Jo{\~{a}}o Moura Pires},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {Modularity of P-Log Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {13--25},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_4},
doi = {10.1007/978-3-642-20895-9\_4},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/DamasioAA11,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou},
editor = {Nick Bassiliades and
Guido Governatori and
Adrian Paschke},
title = {Modularity in the Rule Interchange Format},
booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International
Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6826},
pages = {313--328},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22546-8\_25},
doi = {10.1007/978-3-642-22546-8\_25},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/ruleml/DamasioAA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/DamasioF11,
author = {Carlos Viegas Dam{\'{a}}sio and
Filipe Ferreira},
editor = {Lora Aroyo and
Chris Welty and
Harith Alani and
Jamie Taylor and
Abraham Bernstein and
Lalana Kagal and
Natasha Fridman Noy and
Eva Blomqvist},
title = {Practical {RDF} Schema Reasoning with Annotated Semantic Web Data},
booktitle = {The Semantic Web - {ISWC} 2011 - 10th International Semantic Web Conference,
Bonn, Germany, October 23-27, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7031},
pages = {746--761},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25073-6\_47},
doi = {10.1007/978-3-642-25073-6\_47},
timestamp = {Tue, 07 Sep 2021 13:47:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/DamasioF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wilf/DamasioMO11,
author = {Carlos Viegas Dam{\'{a}}sio and
Nicol{\'{a}}s Madrid and
Manuel Ojeda{-}Aciego},
editor = {Anna Maria Fanelli and
Witold Pedrycz and
Alfredo Petrosino},
title = {On the Notions of Residuated-Based Coherence and Bilattice-Based Consistence},
booktitle = {Fuzzy Logic and Applications - 9th International Workshop, {WILF}
2011, Trani, Italy, August 29-31,2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6857},
pages = {115--122},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23713-3\_15},
doi = {10.1007/978-3-642-23713-3\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wilf/DamasioMO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ruleml/2011-2,
editor = {Stefano Bragaglia and
Carlos Viegas Dam{\'{a}}sio and
Marco Montali and
Alun D. Preece and
Charles J. Petrie and
Mark Proctor and
Umberto Straccia},
title = {Proceedings of the 5th International RuleML2011@BRF Challenge, co-located
with the 5th International Rule Symposium, Fort Lauderdale, Florida,
USA, November 3-5, 2011},
series = {{CEUR} Workshop Proceedings},
volume = {799},
publisher = {CEUR-WS.org},
year = {2011},
url = {https://ceur-ws.org/Vol-799},
urn = {urn:nbn:de:0074-799-4},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/2011-2.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1686,
author = {Carlos Viegas Dam{\'{a}}sio and
Alun D. Preece and
Umberto Straccia},
title = {Proceedings of the Doctoral Consortium and Poster Session of the 5th
International Symposium on Rules (RuleML 2011@IJCAI)},
journal = {CoRR},
volume = {abs/1107.1686},
year = {2011},
url = {http://arxiv.org/abs/1107.1686},
eprinttype = {arXiv},
eprint = {1107.1686},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1686.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-0055,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio and
Gerd Wagner},
title = {Extended {RDF} as a Semantic Foundation of Rule Markup Languages},
journal = {CoRR},
volume = {abs/1111.0055},
year = {2011},
url = {http://arxiv.org/abs/1111.0055},
eprinttype = {arXiv},
eprint = {1111.0055},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-0055.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/DamasioAA10,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou},
editor = {Helder Coelho and
Rudi Studer and
Michael J. Wooldridge},
title = {Implementing Simple Modular {ERDF} ontologies},
booktitle = {{ECAI} 2010 - 19th European Conference on Artificial Intelligence,
Lisbon, Portugal, August 16-20, 2010, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {215},
pages = {1083--1084},
publisher = {{IOS} Press},
year = {2010},
url = {https://doi.org/10.3233/978-1-60750-606-5-1083},
doi = {10.3233/978-1-60750-606-5-1083},
timestamp = {Fri, 26 Apr 2019 14:26:43 +0200},
biburl = {https://dblp.org/rec/conf/ecai/DamasioAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/DamasioAA10,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou},
editor = {Pascal Hitzler and
Thomas Lukasiewicz},
title = {Embeddings of Simple Modular Extended {RDF}},
booktitle = {Web Reasoning and Rule Systems - Fourth International Conference,
{RR} 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6333},
pages = {204--212},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15918-3\_17},
doi = {10.1007/978-3-642-15918-3\_17},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/DamasioAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/DamasioAL10,
author = {Carlos Viegas Dam{\'{a}}sio and
Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Leite},
editor = {Peter F. Patel{-}Schneider and
Yue Pan and
Pascal Hitzler and
Peter Mika and
Lei Zhang and
Jeff Z. Pan and
Ian Horrocks and
Birte Glimm},
title = {Declarative Semantics for the Rule Interchange Format Production Rule
Dialect},
booktitle = {The Semantic Web - {ISWC} 2010 - 9th International Semantic Web Conference,
{ISWC} 2010, Shanghai, China, November 7-11, 2010, Revised Selected
Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6496},
pages = {798--813},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17746-0\_50},
doi = {10.1007/978-3-642-17746-0\_50},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/semweb/DamasioAL10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/StracciaOD09,
author = {Umberto Straccia and
Manuel Ojeda{-}Aciego and
Carlos Viegas Dam{\'{a}}sio},
title = {On Fixed-Points of Multivalued Functions on Complete Lattices and
Their Application to Generalized Logic Programs},
journal = {{SIAM} J. Comput.},
volume = {38},
number = {5},
pages = {1881--1911},
year = {2009},
url = {https://doi.org/10.1137/070695976},
doi = {10.1137/070695976},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamcomp/StracciaOD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rr/AnalytiAD09,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio},
editor = {Axel Polleres and
Terrance Swift},
title = {A Formal Theory for Modular {ERDF} Ontologies},
booktitle = {Web Reasoning and Rule Systems, Third International Conference, {RR}
2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5837},
pages = {212--226},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05082-4\_15},
doi = {10.1007/978-3-642-05082-4\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/rr/AnalytiAD09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DamasioPSS08,
author = {Carlos Viegas Dam{\'{a}}sio and
Jeff Z. Pan and
Giorgos Stoilos and
Umberto Straccia},
title = {Representing Uncertainty in RuleML},
journal = {Fundam. Informaticae},
volume = {82},
number = {3},
pages = {265--288},
year = {2008},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi82-3-04},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/DamasioPSS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/AnalytiADW08,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio and
Gerd Wagner},
title = {Extended {RDF} as a Semantic Foundation of Rule Markup Languages},
journal = {J. Artif. Intell. Res.},
volume = {32},
pages = {37--94},
year = {2008},
url = {https://doi.org/10.1613/jair.2425},
doi = {10.1613/JAIR.2425},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/AnalytiADW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AnalytiADW08,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio and
Gerd Wagner},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {Computability and Complexity Issues of Extended {RDF}},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {733--734},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-733},
doi = {10.3233/978-1-58603-891-5-733},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/AnalytiADW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AnhRD08,
author = {Han The Anh and
Carroline D. P. Kencana Ramli and
Carlos Viegas Dam{\'{a}}sio},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {An Implementation of Extended P-Log Using {XASP}},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {739--743},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_68},
doi = {10.1007/978-3-540-89982-2\_68},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AnhRD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/AnalytiAD08,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio},
editor = {Gerhard Brewka and
J{\'{e}}r{\^{o}}me Lang},
title = {A Principled Framework for Modular Web Rule Bases and Its Semantics},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Eleventh International Conference, {KR} 2008, Sydney, Australia,
September 16-19, 2008},
pages = {390--400},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/KR/2008/kr08-038.php},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/AnalytiAD08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/AnalytiADW08,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio and
Gerd Wagner},
editor = {Tu Bao Ho and
Zhi{-}Hua Zhou},
title = {On the Computability and Complexity Issues of Extended {RDF}},
booktitle = {{PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim
International Conference on Artificial Intelligence, Hanoi, Vietnam,
December 15-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5351},
pages = {5--16},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89197-0\_5},
doi = {10.1007/978-3-540-89197-0\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/AnalytiADW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/DamasioMO07,
author = {Carlos Viegas Dam{\'{a}}sio and
Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego},
title = {Termination of logic programs with imperfect information: applications
and query procedure},
journal = {J. Appl. Log.},
volume = {5},
number = {3},
pages = {435--458},
year = {2007},
url = {https://doi.org/10.1016/j.jal.2006.03.004},
doi = {10.1016/J.JAL.2006.03.004},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/DamasioMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/MouraCD07,
author = {Jo{\~{a}}o Moura Pires and
Paulo Chainho and
Carlos Viegas Dam{\'{a}}sio},
editor = {Elisabetta Di Nitto and
Matei Ripeanu},
title = {Semantically Enabled Framework for User Centric Profile Description,
Search and Match},
booktitle = {Service-Oriented Computing - {ICSOC} 2007 Workshops, International
Workshops, Vienna, Austria, September 17, 2007, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4907},
pages = {326--335},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-93851-4\_32},
doi = {10.1007/978-3-540-93851-4\_32},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/MouraCD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fuzzIEEE/DamasioMO06,
author = {Carlos Viegas Dam{\'{a}}sio and
Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego},
title = {A Tabulation Proof Procedure for First-order Residuated Logic Programs:
Soundness, Completeness and Optimizations},
booktitle = {{IEEE} International Conference on Fuzzy Systems, {FUZZ-IEEE} 2006,
Vancouver, BC, Canada, July 16-21, 2006},
pages = {2004--2011},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/FUZZY.2006.1681978},
doi = {10.1109/FUZZY.2006.1681978},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fuzzIEEE/DamasioMO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/JorgeD06,
author = {Rui D. Jorge and
Carlos Viegas Dam{\'{a}}sio},
editor = {Moonis Ali and
Richard Dapoigny},
title = {Diagnosis of Power System Protection},
booktitle = {Advances in Applied Artificial Intelligence, 19th International Conference
on Industrial, Engineering and Other Applications of Applied Intelligent
Systems, {IEA/AIE} 2006, Annecy, France, June 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4031},
pages = {650--659},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11779568\_70},
doi = {10.1007/11779568\_70},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/JorgeD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/AlvesDNO06,
author = {Miguel Alves and
Carlos Viegas Dam{\'{a}}sio and
Wolfgang Nejdl and
Daniel Olmedilla},
title = {A Distributed Tabling Algorithm for Rule Based Policy Systems},
booktitle = {7th {IEEE} International Workshop on Policies for Distributed Systems
and Networks {(POLICY} 2006), 5-7 June 2006, London, Ontario, Canada},
pages = {123--132},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/POLICY.2006.4},
doi = {10.1109/POLICY.2006.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/AlvesDNO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/DamasioAAW06,
author = {Carlos Viegas Dam{\'{a}}sio and
Anastasia Analyti and
Grigoris Antoniou and
Gerd Wagner},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
James Bailey and
Wolfgang May and
Uta Schwertel},
title = {Supporting Open and Closed World Reasoning on the Web},
booktitle = {Principles and Practice of Semantic Web Reasoning, 4th International
Workshop, {PPSWR} 2006, Budva, Montenegro, June 10-11, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4187},
pages = {149--163},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11853107\_11},
doi = {10.1007/11853107\_11},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppswr/DamasioAAW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/DamasioPSS06,
author = {Carlos Viegas Dam{\'{a}}sio and
Jeff Z. Pan and
Giorgos Stoilos and
Umberto Straccia},
editor = {Thomas Eiter and
Enrico Franconi and
Ralph Hodgson and
Susie Stephens},
title = {An Approach to Representing Uncertainty Rules in RuleML},
booktitle = {Rules and Rule Markup Languages for the Semantic Web, Second International
Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006,
Proceedings},
pages = {97--106},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RULEML.2006.3},
doi = {10.1109/RULEML.2006.3},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/DamasioPSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijwet/WagnerDA05,
author = {Gerd Wagner and
Carlos Viegas Dam{\'{a}}sio and
Grigoris Antoniou},
title = {Towards a general web rule language},
journal = {Int. J. Web Eng. Technol.},
volume = {2},
number = {2/3},
pages = {181--206},
year = {2005},
url = {https://doi.org/10.1504/IJWET.2005.008483},
doi = {10.1504/IJWET.2005.008483},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijwet/WagnerDA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/AlcantaraDP05,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
title = {An encompassing framework for Paraconsistent Logic Programs},
journal = {J. Appl. Log.},
volume = {3},
number = {1},
pages = {67--95},
year = {2005},
url = {https://doi.org/10.1016/j.jal.2004.07.012},
doi = {10.1016/J.JAL.2004.07.012},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/japll/AlcantaraDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlcantaraDP05,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Well-Founded Semantics with Disjunction},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {341--355},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_26},
doi = {10.1007/11562931\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AlcantaraDP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AnalytiADW05,
author = {Anastasia Analyti and
Grigoris Antoniou and
Carlos Viegas Dam{\'{a}}sio and
Gerd Wagner},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {Stable Model Theory for Extended {RDF} Ontologies},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {21--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_5},
doi = {10.1007/11574620\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/semweb/AnalytiADW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/DamasioMO04,
author = {Carlos Viegas Dam{\'{a}}sio and
Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {A Tabulation Proof Procedure for Residuated Logic Programming},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {808--812},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Thu, 07 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecai/DamasioMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AlcantaraDP04,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Ram{\'{o}}n L{\'{o}}pez de M{\'{a}}ntaras and
Lorenza Saitta},
title = {A Declarative Characterization of Disjunctive Paraconsistent Answer
Sets},
booktitle = {Proceedings of the 16th Eureopean Conference on Artificial Intelligence,
ECAI'2004, including Prestigious Applicants of Intelligent Systems,
{PAIS} 2004, Valencia, Spain, August 22-27, 2004},
pages = {951--952},
publisher = {{IOS} Press},
year = {2004},
timestamp = {Tue, 24 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AlcantaraDP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/AlferesABDS04,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Francisco Azevedo and
Pedro Barahona and
Carlos Viegas Dam{\'{a}}sio and
Terrance Swift},
editor = {Max Bramer and
Vladan Devedzic},
title = {Deductive Diagnosis of Digital Circuits},
booktitle = {Artificial Intelligence Applications and Innovations, {IFIP} 18th
World Computer Congress, {TC12} First International Conference on
Artificial Intelligence Applications and Innovations (AIAI-2004),
22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {154},
pages = {155--165},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8151-0\_14},
doi = {10.1007/1-4020-8151-0\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/AlferesABDS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/WheelerD04,
author = {Gregory R. Wheeler and
Carlos Viegas Dam{\'{a}}sio},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {An Implementation of Statistical Default Logic},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {121--133},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_13},
doi = {10.1007/978-3-540-30227-8\_13},
timestamp = {Tue, 07 May 2024 20:11:09 +0200},
biburl = {https://dblp.org/rec/conf/jelia/WheelerD04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DamasioMO04,
author = {Carlos Viegas Dam{\'{a}}sio and
Jes{\'{u}}s Medina and
Manuel Ojeda{-}Aciego},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite},
title = {Sorted Multi-adjoint Logic Programs: Termination Results and Applications},
booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3229},
pages = {252--265},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30227-8\_23},
doi = {10.1007/978-3-540-30227-8\_23},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DamasioMO04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsctc/VitoriaDM04,
author = {Aida Vit{\'{o}}ria and
Carlos Viegas Dam{\'{a}}sio and
Jan Maluszynski},
editor = {Shusaku Tsumoto and
Roman Slowinski and
Henryk Jan Komorowski and
Jerzy W. Grzymala{-}Busse},
title = {Toward Rough Knowledge Bases with Quantitative Measures},
booktitle = {Rough Sets and Current Trends in Computing, 4th International Conference,
{RSCTC} 2004, Uppsala, Sweden, June 1-5, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3066},
pages = {153--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25929-9\_17},
doi = {10.1007/978-3-540-25929-9\_17},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsctc/VitoriaDM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/VitoriaDM03,
author = {Aida Vit{\'{o}}ria and
Carlos Viegas Dam{\'{a}}sio and
Jan Maluszynski},
title = {From Rough Sets to Rough Knowledge Bases},
journal = {Fundam. Informaticae},
volume = {57},
number = {2-4},
pages = {215--246},
year = {2003},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi57-2-4-07},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/VitoriaDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppswr/AlferesDP03,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Fran{\c{c}}ois Bry and
Nicola Henze and
Jan Maluszynski},
title = {Semantic Web Logic Programming Tools},
booktitle = {Principles and Practice of Semantic Web Reasoning, International Workshop,
{PPSWR} 2003, Mumbai, India, December 8, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2901},
pages = {16--32},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24572-8\_2},
doi = {10.1007/978-3-540-24572-8\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppswr/AlferesDP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsfdgrc/VitoriaDM03,
author = {Aida Vit{\'{o}}ria and
Carlos Viegas Dam{\'{a}}sio and
Jan Maluszynski},
editor = {Guoyin Wang and
Qing Liu and
Yiyu Yao and
Andrzej Skowron},
title = {Query Answering in Rough Knowledge Bases},
booktitle = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 9th International
Conference, RSFDGrC 2003, Chongqing, China, May 26-29, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2639},
pages = {197--204},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-39205-X\_25},
doi = {10.1007/3-540-39205-X\_25},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rsfdgrc/VitoriaDM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/DamasioFNPS02,
author = {Carlos Viegas Dam{\'{a}}sio and
Peter Fr{\"{o}}hlich and
Wolfgang Nejdl and
Lu{\'{\i}}s Moniz Pereira and
Michael Schroeder},
title = {Using Extended Logic Programming for Alarm-Correlation in Cellular
Phone Networks},
journal = {Appl. Intell.},
volume = {17},
number = {2},
pages = {187--202},
year = {2002},
url = {https://doi.org/10.1023/A:1016112931442},
doi = {10.1023/A:1016112931442},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/apin/DamasioFNPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/DamasioP02,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
title = {Hybrid Probabilistic Logic Programs as Residuated Logic Programs},
journal = {Stud Logica},
volume = {72},
number = {1},
pages = {113--138},
year = {2002},
url = {https://doi.org/10.1023/A:1020582126389},
doi = {10.1023/A:1020582126389},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/DamasioP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/AlcantaraDP02,
author = {Jo{\~{a}}o F. L. Alc{\^{a}}ntara and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Paraconsistent Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {345--356},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_29},
doi = {10.1007/3-540-45757-7\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/AlcantaraDP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/DamasioP01,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Salem Benferhat and
Philippe Besnard},
title = {Monotonic and Residuated Logic Programs},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
6th European Conference, {ECSQARU} 2001, Toulouse, France, September
19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2143},
pages = {748--759},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44652-4\_66},
doi = {10.1007/3-540-44652-4\_66},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/DamasioP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioP01,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Antitonic Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {379--392},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_28},
doi = {10.1007/3-540-45402-0\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/GartnerSTDP00,
author = {Joseph Gartner and
Terrance Swift and
Allen Tien and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Psychiatric Diagnosis from the Viewpoint of Computational Logic},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1362--1376},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_91},
doi = {10.1007/3-540-44957-4\_91},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/GartnerSTDP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/DamasioP00,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Manuel Ojeda{-}Aciego and
Inman P. de Guzm{\'{a}}n and
Gerhard Brewka and
Lu{\'{\i}}s Moniz Pereira},
title = {Hybrid Probabilistic Logic Programs as Residuated Logic Programs},
booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} 2000
Malaga, Spain, September 29 - October 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1919},
pages = {57--72},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40006-0\_5},
doi = {10.1007/3-540-40006-0\_5},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/DamasioP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DamasioN99,
author = {Carlos Viegas Dam{\'{a}}sio and
V{\'{\i}}tor Beires Nogueira},
editor = {Maria Chiara Meo and
Manuel Vilares Ferro},
title = {Negation in Transaction Programs},
booktitle = {1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila,
Italy, September 6-9, 1999},
pages = {589--604},
year = {1999},
timestamp = {Wed, 05 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DamasioN99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ieaaie/FrohlichNSDP99,
author = {Peter Fr{\"{o}}hlich and
Wolfgang Nejdl and
Michael Schroeder and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Ibrahim F. Imam and
Yves Kodratoff and
Ayman El{-}Dessouki and
Moonis Ali},
title = {Using Extended Logic Programming for Alarm-Correlation in Cellular
Phone Networks},
booktitle = {Multiple Approaches to Intelligent Systems, 12th International Conference
on Industrial and Engineering Applications of Artificial Intelligence
and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1611},
pages = {343--352},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-540-48765-4\_38},
doi = {10.1007/978-3-540-48765-4\_38},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ieaaie/FrohlichNSDP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioPS99,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira and
Terrance Swift},
editor = {Michael Gelfond and
Nicola Leone and
Gerald Pfeifer},
title = {Coherent Well-founded Annotated Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference,
LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1730},
pages = {262--276},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46767-X\_19},
doi = {10.1007/3-540-46767-X\_19},
timestamp = {Sun, 02 Oct 2022 16:11:19 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioPS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapd/DamasioP98,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
title = {A General Tabulation Procedure for Extended Constraint Logic Programs},
booktitle = {Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction,
TAPD'98, Paris, France, April 2-3, 1998},
pages = {67--74},
publisher = {{INRIA}},
year = {1998},
url = {ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/damasio.ps.gz},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapd/DamasioP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioP97,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {A Paraconsistent Semantics with Contradiction Support Detection},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {224--243},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_18},
doi = {10.1007/3-540-63255-7\_18},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioPS97,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira and
Michael Schroeder},
editor = {J{\"{u}}rgen Dix and
Ulrich Furbach and
Anil Nerode},
title = {{REVISE:} Logic Programming and Diagnosis},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 4th International Conference,
LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1265},
pages = {354--363},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63255-7\_26},
doi = {10.1007/3-540-63255-7\_26},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioPS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/elp/DamasioP96,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Roy Dyckhoff and
Heinrich Herre and
Peter Schroeder{-}Heister},
title = {Default Negated Conclusions: Why Not?},
booktitle = {Extensions of Logic Programming, 5th International Workshop, ELP'96,
Leipzig, Germany, March 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1050},
pages = {103--117},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60983-0\_7},
doi = {10.1007/3-540-60983-0\_7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/elp/DamasioP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlferesDP95,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
title = {A Logic Programming System for Nonmonotonic Reasoning},
journal = {J. Autom. Reason.},
volume = {14},
number = {1},
pages = {93--147},
year = {1995},
url = {https://doi.org/10.1007/BF00883931},
doi = {10.1007/BF00883931},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/AlferesDP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/DamasioP95,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Carlos A. Pinto{-}Ferreira and
Nuno J. Mamede},
title = {A Model Theory for Paraconsistent Logic Programming},
booktitle = {Progress in Artificial Intelligence, 7th Portuguese Conference on
Artificial Intelligence, {EPIA} '95, Funchal, Madeira Island, Portugal,
October 3-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {990},
pages = {377--386},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60428-6\_32},
doi = {10.1007/3-540-60428-6\_32},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/DamasioP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DamasioP95,
author = {Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Abduction over 3-Valued Extended Logic Programs},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {29--42},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_3},
doi = {10.1007/3-540-59487-6\_3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DamasioP95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/AlferesDP94,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Anthony G. Cohn},
title = {Top-Down Query Evaluation for Well-Founded Semantics with Explicit
Negation},
booktitle = {Proceedings of the Eleventh European Conference on Artificial Intelligence,
Amsterdam, The Netherlands, August 8-12, 1994},
pages = {140--144},
publisher = {John Wiley and Sons, Chichester},
year = {1994},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/ecai/AlferesDP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DamasioNP94,
author = {Carlos Viegas Dam{\'{a}}sio and
Wolfgang Nejdl and
Lu{\'{\i}}s Moniz Pereira},
editor = {Jon Doyle and
Erik Sandewall and
Pietro Torasso},
title = {{REVISE:} An Extended Logic Programming System for Revising Knowledge
Bases},
booktitle = {Proceedings of the 4th International Conference on Principles of Knowledge
Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994},
pages = {607--618},
publisher = {Morgan Kaufmann},
year = {1994},
timestamp = {Fri, 18 May 2012 15:02:59 +0200},
biburl = {https://dblp.org/rec/conf/kr/DamasioNP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/AlferesDP94,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Carlos Viegas Dam{\'{a}}sio and
Lu{\'{\i}}s Moniz Pereira},
editor = {Maurice Bruynooghe},
title = {{SLX} - {A} Top-down Derivation Procedure for Programs with Explicit
Negation},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {424--438},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/AlferesDP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/PereiraDA93,
author = {Lu{\'{\i}}s Moniz Pereira and
Carlos Viegas Dam{\'{a}}sio and
Jos{\'{e}} J{\'{u}}lio Alferes},
editor = {Peter Fritszon},
title = {Debugging by Diagnosing Assumptions},
booktitle = {Automated and Algorithmic Debugging, First International Workshop,
AADEBUG'93, Link{\"{o}}ping, Sweden, May 3-5, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {749},
pages = {58--74},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/BFb0019400},
doi = {10.1007/BFB0019400},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/PereiraDA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/PereiraDA93,
author = {Lu{\'{\i}}s Moniz Pereira and
Carlos Viegas Dam{\'{a}}sio and
Jos{\'{e}} J{\'{u}}lio Alferes},
editor = {Miguel Filgueiras and
Lu{\'{\i}}s Damas},
title = {Diagnosis and Debugging as Contradiction Removal in Logic Programs},
booktitle = {Progress in Artificial Intelligence, 6th Portuguese Conference on
Artificial Intelligence, {EPIA} '93, Porto, Portugal, October 6-8,
1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {727},
pages = {183--197},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57287-2\_47},
doi = {10.1007/3-540-57287-2\_47},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epia/PereiraDA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PereiraDA93,
author = {Lu{\'{\i}}s Moniz Pereira and
Carlos Viegas Dam{\'{a}}sio and
Jos{\'{e}} J{\'{u}}lio Alferes},
editor = {Lu{\'{\i}}s Moniz Pereira and
Anil Nerode},
title = {Diagnosis and Debugging as Contradiction Removal},
booktitle = {Logic Programming and Non-monotonic Reasoning, Proceedings of the
Second International Workshop, Lisbon, Portugal, June 1993},
pages = {316--330},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Mon, 20 Mar 2017 14:37:29 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/PereiraDA93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 23:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
