Telco Network Inventory Validation with NoHR.

José Júlio Alferes http://centria.di.fct.unl.pt/~jja/ https://scholar.google.com/citations?user=_AAJe1sAAAAJ https://orcid.org/0000-0001-5520-4623 https://www.wikidata.org/entity/Q62050533 https://www.researcherid.com/rid/C-6231-2009 https://www.scopus.com/authid/detail.uri?authorId=7003626303 Universidade Nova de Lisboa, Department of Computer Science Vedran Kasalica Ioannis Gerochristos José Júlio Alferes Ana Sofia Gomes Matthias Knorr João Leite Telco Network Inventory Validation with NoHR. 18-31 2019 LPNMR https://doi.org/10.1007/978-3-030-20528-7_2 conf/lpnmr/2019 db/conf/lpnmr/lpnmr2019.html#KasalicaGAGKL19 José Júlio Alferes Moa Johansson Practical Aspects of Declarative Languages - 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings PADL Springer 2019 Lecture Notes in Computer Science 11372 978-3-030-05997-2 978-3-030-05998-9 https://doi.org/10.1007/978-3-030-05998-9 db/conf/padl/padl2019.html

Ana Sofia Gomes José Júlio Alferes Combining transactions and automatic repairs. 525-550 2018 28 J. Log. Comput. 3 https://doi.org/10.1093/logcom/exv006 db/journals/logcom/logcom28.html#GomesA18

Paul Foder Guido Governatori José Júlio Alferes Leopoldo E. Bertossi RuleML (Web Rule Symposium) 2016 Report. 109-110 2017 38 AI Magazine 1 http://www.aaai.org/ojs/index.php/aimagazine/article/view/2720 db/journals/aim/aim38.html#FoderGAB17

José Júlio Alferes Leopoldo E. Bertossi Guido Governatori Paul Fodor Dumitru Roman Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings RuleML Springer 2016 Lecture Notes in Computer Science 9718 978-3-319-42018-9 https://doi.org/10.1007/978-3-319-42019-6 https://www.wikidata.org/entity/Q58176653 db/conf/ruleml/ruleml2016.html Ana Sofia Gomes José Júlio Alferes A Procedure for an Event-Condition-Transaction Language. 113-129 2015 RR https://doi.org/10.1007/978-3-319-22002-4_10 conf/rr/2015 db/conf/rr/rr2015.html#GomesA15 Ana Sofia Gomes José Júlio Alferes How to Combine Event Stream Reasoning with Transactions for the Semantic Web. 258-273 2015 RuleML https://doi.org/10.1007/978-3-319-21542-6_17 conf/ruleml/2015 db/conf/ruleml/ruleml2015.html#GomesA15

Ana Sofia Gomes José Júlio Alferes Terrance Swift A goal-directed implementation of query answering for hybrid MKNF knowledge bases. 239-264 2014 14 TPLP 2 https://doi.org/10.1017/S1471068412000439 db/journals/tplp/tplp14.html#GomesAS14

Matthias Knorr José Júlio Alferes Preserving Strong Equivalence while Forgetting. 412-425 2014 JELIA https://doi.org/10.1007/978-3-319-11558-0_29 conf/jelia/2014 db/conf/jelia/jelia2014.html#KnorrA14

Ana Sofia Gomes José Júlio Alferes Transaction Logic with (Complex) Events. 2014 abs/1405.3790 CoRR http://arxiv.org/abs/1405.3790 db/journals/corr/corr1405.html#GomesA14

José Júlio Alferes Ricardo Gonçalves 0001 João Leite Equivalence of defeasible normative systems. 25-48 2013 23 Journal of Applied Non-Classical Logics 1-2 https://doi.org/10.1080/11663081.2013.798996 db/journals/jancl/jancl23.html#AlferesGL13

José Júlio Alferes Matthias Knorr Terrance Swift Query-Driven Procedures for Hybrid MKNF Knowledge Bases. 16:1-16:43 2013 14 ACM Trans. Comput. Log. 2 https://doi.org/10.1145/2480759.2480768 https://www.wikidata.org/entity/Q62046438 db/journals/tocl/tocl14.html#AlferesKS13

Ana Sofia Gomes José Júlio Alferes Extending Transaction Logic with External Actions. 2013 13 TPLP 4-5-Online-Supplement http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013020.pdf db/journals/tplp/tplp13.html#GomesA13

Ricardo Gonçalves 0001 José Júlio Alferes Deontic logic programs. 1333-1334 2013 AAMAS http://dl.acm.org/citation.cfm?id=2485210 conf/atal/2013 db/conf/atal/aamas2013.html#GoncalvesA13 Ana Sofia Gomes José Júlio Alferes External Transaction Logic with Automatic Compensations. 239-255 2013 CLIMA https://doi.org/10.1007/978-3-642-40624-9_15 conf/clima/2013 db/conf/clima/clima2013.html#GomesA13 José Júlio Alferes Matthias Knorr Kewen Wang Forgetting under the Well-Founded Semantics. 36-41 2013 LPNMR https://doi.org/10.1007/978-3-642-40564-8_4 https://www.wikidata.org/entity/Q62046434 conf/lpnmr/2013 db/conf/lpnmr/lpnmr2013.html#AlferesKW13 Ricardo Gonçalves 0001 José Júlio Alferes Decidability and Implementation of Parametrized Logic Programs. 361-373 2013 LPNMR https://doi.org/10.1007/978-3-642-40564-8_36 conf/lpnmr/2013 db/conf/lpnmr/lpnmr2013.html#GoncalvesA13 Ricardo Gonçalves 0001 José Júlio Alferes Specifying and reasoning about normative systems in deontic logic programming. 1423-1424 2012 AAMAS http://dl.acm.org/citation.cfm?id=2344039 conf/atal/2012 db/conf/atal/aamas2012.html#GoncalvesA12 Ricardo Gonçalves 0001 José Júlio Alferes An Embedding of Input-Output Logic in Deontic Logic Programs. 61-75 2012 DEON https://doi.org/10.1007/978-3-642-31570-1_5 conf/deon/2012 db/conf/deon/deon2012.html#GoncalvesA12

Matthias Knorr José Júlio Alferes Pascal Hitzler Local closed world reasoning with description logics under the well-founded semantics. 1528-1554 2011 175 Artif. Intell. 9-10 https://doi.org/10.1016/j.artint.2011.01.007 https://www.wikidata.org/entity/Q62046447 db/journals/ai/ai175.html#KnorrAH11

José Júlio Alferes Federico Banti Antonio Brogi Evolving reactive logic programs. 77-81 2011 5 Intelligenza Artificiale 1 https://doi.org/10.3233/IA-2011-0007 db/journals/ia/ia5.html#AlferesBB11

José Júlio Alferes Alfredo Gabaldon João Leite Evolving Logic Programs with Temporal Operators. 193-212 2011 Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning https://doi.org/10.1007/978-3-642-20832-4_14 conf/birthday/2011gelfond db/conf/birthday/gelfond2011.html#AlferesGL11 Ana Sofia Gomes José Júlio Alferes A Proposal for Transactions in the Semantic Web. 690-703 2011 EPIA https://doi.org/10.1007/978-3-642-24769-9_50 conf/epia/2011 db/conf/epia/epia2011.html#GomesA11 Ricardo Gonçalves 0001 José Júlio Alferes Parametrized Equilibrium Logic. 236-241 2011 LPNMR https://doi.org/10.1007/978-3-642-20895-9_25 conf/lpnmr/2011 db/conf/lpnmr/lpnmr2011.html#GoncalvesA11 Ana Sofia Gomes José Júlio Alferes Transaction Logic with External Actions. 272-277 2011 LPNMR https://doi.org/10.1007/978-3-642-20895-9_31 conf/lpnmr/2011 db/conf/lpnmr/lpnmr2011.html#GomesA11 Matthias Knorr José Júlio Alferes Querying OWL 2 QL and Non-monotonic Rules. 338-353 2011 International Semantic Web Conference (1) https://doi.org/10.1007/978-3-642-25073-6_22 https://www.wikidata.org/entity/Q62046448 conf/semweb/2011-1 db/conf/semweb/iswc2011-1.html#KnorrA11

Ana Sofia Gomes José Júlio Alferes Terrance Swift A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases http://arxiv.org/abs/1103.3949 2011 CoRR abs/1103.3949 db/journals/corr/corr1103.html#abs-1103-3949

Matthias Knorr José Júlio Alferes Querying in [Escr ][Lscr ]+ with Nonmonotonic Rules. 1079-1080 2010 ECAI https://doi.org/10.3233/978-1-60750-606-5-1079 conf/ecai/2010 db/conf/ecai/ecai2010.html#KnorrA10 Ricardo Gonçalves 0001 José Júlio Alferes Parametrized Logic Programming. 182-194 2010 JELIA https://doi.org/10.1007/978-3-642-15675-5_17 conf/jelia/2010 db/conf/jelia/jelia2010.html#GoncalvesA10 Ana Sofia Gomes José Júlio Alferes Terrance Swift Implementing Query Answering for Hybrid MKNF Knowledge Bases. 25-39 2010 PADL https://doi.org/10.1007/978-3-642-11503-5_4 conf/padl/2010 db/conf/padl/padl2010.html#GomesAS10 Carlos Viegas Damásio José Júlio Alferes João Leite Declarative Semantics for the Rule Interchange Format Production Rule Dialect. 798-813 2010 International Semantic Web Conference (1) https://doi.org/10.1007/978-3-642-17746-0_50 https://www.wikidata.org/entity/Q58831004 conf/semweb/2010-1 db/conf/semweb/iswc2010-1.html#DamasioAL10

José Júlio Alferes Matthias Knorr Terrance Swift Query-driven Procedures for Hybrid MKNF Knowledge Bases http://arxiv.org/abs/1007.3515 2010 CoRR abs/1007.3515 db/journals/corr/corr1007.html#abs-1007-3515

Carlos Filipe Freitas Carlos Ramos José Júlio Alferes An architecture for Idea Generation in Smart Meeting Rooms. 159-166 2009 AMIF https://doi.org/10.3233/978-1-60750-481-8-159 conf/amif/2009 db/conf/amif/amif2009.html#FreitasRA09 João Leite José Júlio Alferes Belopeta Mito Resource allocation with answer-set programming. 649-656 2009 AAMAS (1) https://dl.acm.org/citation.cfm?id=1558103 conf/atal/2009-1 db/conf/atal/aamas2009-1.html#LeiteAM09 José Júlio Alferes Alfredo Gabaldon João Leite A Logic Programming System for Evolving Programs with Temporal Operators. 101-112 2009 EPIA https://doi.org/10.1007/978-3-642-04686-5_9 conf/epia/2009 db/conf/epia/epia2009.html#AlferesGL09 José Júlio Alferes Matthias Knorr Terrance Swift Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. 1-16 2009 International Semantic Web Conference https://doi.org/10.1007/978-3-642-04930-9_1 https://www.wikidata.org/entity/Q62046451 conf/semweb/2009 db/conf/semweb/iswc2009.html#AlferesKS09 José Júlio Alferes Michael Eckert Wolfgang May Evolution and Reactivity in the Semantic Web. 161-200 2009 REWERSE https://doi.org/10.1007/978-3-642-04581-3_3 series/lncs/5500 db/series/lncs/lncs5500.html#AlferesEM09 José Júlio Alferes Federico Banti Antonio Brogi Evolving Reactive Logic Programs. 2008 Il Milione http://ceur-ws.org/Vol-487/paper11.pdf conf/birthday/2008martelli db/conf/birthday/Martelli2008.html#AlferesBB08 Matthias Knorr José Júlio Alferes Pascal Hitzler A Coherent Well-founded Model for Hybrid MKNF Knowledge Bases. 99-103 2008 ECAI https://doi.org/10.3233/978-1-58603-891-5-99 conf/ecai/2008 db/conf/ecai/ecai2008.html#KnorrAH08 José Júlio Alferes Alfredo Gabaldon João Leite Evolving Logic Programming Based Agents with Temporal Operators. 238-244 2008 IAT https://doi.org/10.1109/WIIAT.2008.123 http://doi.ieeecomputersociety.org/10.1109/WIIAT.2008.123 conf/iat/2008 db/conf/iat/iat2008.html#AlferesGL08 José Júlio Alferes Ricardo Amador Philipp Kärger Daniel Olmedilla Towards Reactive Semantic Web Policies: Advanced Agent Control for the Semantic Web. 2008 International Semantic Web Conference (Posters & Demos) http://ceur-ws.org/Vol-401/iswc2008pd_submission_39.pdf conf/semweb/2008p db/conf/semweb/iswc2008p.html#AlferesAKO08 Tiago Franco José Júlio Alferes Ludwig Krippahl Ricardo Amador Bio-informatics Reactivity Features Through the Semantic Web. 2008 SWAT4LS http://ceur-ws.org/Vol-435/poster12.pdf conf/swat4ls/2008 db/conf/swat4ls/swat4ls2008.html#FrancoAKA08 José Júlio Alferes Alfredo Gabaldon João Alexandre Leite Non-Markovian Agent Evolution with EVOLP. 2008 Programming Multi-Agent Systems http://drops.dagstuhl.de/opus/volltexte/2008/1640/ conf/dagstuhl/2008P8361 db/conf/dagstuhl/P8361.html#AlferesAL08

José Júlio Alferes João Leite Special Issue arising from the 9th European Conference on Logics in Artificial Intelligence, JELIA'2004. 389-391 2007 5 J. Applied Logic 3 https://doi.org/10.1016/j.jal.2006.03.001 db/journals/japll/japll5.html#AlferesL07

Matthias Knorr José Júlio Alferes Pascal Hitzler A Well-founded Semantics for Hybrid MKNF Knowledge Bases. 2007 Description Logics http://ceur-ws.org/Vol-250/paper_54.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#KnorrAH07 Matthias Knorr José Júlio Alferes Pascal Hitzler Towards Tractable Local Closed World Reasoning for the Semantic Web. 3-14 2007 conf/epia/2007w EPIA Workshops https://doi.org/10.1007/978-3-540-77002-2_1 db/conf/epia/epia2007w.html#KnorrAH07 José Júlio Alferes Ricardo Amador <i>r</i> <sup>3</sup>- A Foundational Ontology for Reactive Rules. 933-952 2007 conf/otm/2007-1 OTM Conferences (1) https://doi.org/10.1007/978-3-540-76848-7_62 db/conf/otm/otm2007-1.html#AlferesA07 Iara Carnevale de Almeida José Júlio Alferes An Argumentation-Based Negotiation for Distributed Extended Logic Programs. 191-210 2006 conf/clima/2006 CLIMA https://doi.org/10.1007/978-3-540-69619-3_11 db/conf/clima/climaVII2006.html#AlmeidaA06 José Júlio Alferes Federico Banti Antonio Brogi An Event-Condition-Action Logic Programming Language. 29-42 2006 conf/jelia/2006 JELIA https://doi.org/10.1007/11853886_5 db/conf/jelia/jelia2006.html#AlferesBB06 José Júlio Alferes Gaston E. Tagni Implementation of a Complex Event Engine for the Web. 65-72 2006 conf/scw/2006 SCW https://doi.org/10.1109/SCW.2006.24 http://doi.ieeecomputersociety.org/10.1109/SCW.2006.24 db/conf/scw/scw2006.html#AlferesT06 José Júlio Alferes James Bailey 0001 Wolfgang May Uta Schwertel Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers PPSWR Lecture Notes in Computer Science 4187 Springer 2006 3-540-39586-5 https://doi.org/10.1007/11853107 db/conf/ppswr/ppswr2006.html

José Júlio Alferes Federico Banti Antonio Brogi João Alexandre Leite The Refined Extension Principle for Semantics of Dynamic Logic Programming. 7-32 2005 79 Studia Logica 1 https://doi.org/10.1007/s11225-005-0492-y db/journals/sLogica/sLogica79.html#AlferesBBL05

Federico Banti José Júlio Alferes Antonio Brogi Operational Semantics for DyLPs. 43-54 2005 conf/epia/2005 EPIA https://doi.org/10.1007/11595014_5 db/conf/epia/epia2005.html#BantiAB05 Federico Banti José Júlio Alferes Antonio Brogi Pascal Hitzler The Well Supported Semantics for Multidimensional Dynamic Logic Programs. 356-368 2005 conf/lpnmr/2005 LPNMR https://doi.org/10.1007/11546207_28 db/conf/lpnmr/lpnmr2005.html#BantiABH05 Wolfgang May José Júlio Alferes Ricardo Amador An Ontology- and Resources-Based Approach to Evolution and Reactivity in the Semantic Web. 1553-1570 2005 conf/otm/2005-2 OTM Conferences (2) https://doi.org/10.1007/11575801_38 db/conf/otm/otm2005-2.html#MayAA05 José Júlio Alferes Ricardo Amador Wolfgang May A General Language for Evolution and Reactivity in the Semantic Web. 101-115 2005 conf/ppswr/2005 PPSWR https://doi.org/10.1007/11552222_10 db/conf/ppswr/ppswr2005.html#AlferesAM05 Wolfgang May José Júlio Alferes Ricardo Amador Active Rules in the Semantic Web: Dealing with Language Heterogeneity. 30-44 2005 conf/ruleml/2005 RuleML https://doi.org/10.1007/11580072_4 db/conf/ruleml/ruleml2005.html#MayAA05 José Júlio Alferes Wolfgang May Evolution and Reactivity for the Web. 134-172 2005 conf/rweb/2005 Reasoning Web https://doi.org/10.1007/11526988_4 db/conf/rweb/rweb2005.html#AlferesM05

José Júlio Alferes Luís Moniz Pereira Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. 383-428 2004 4 TPLP 4 db/journals/tplp/tplp4.html#AlferesPS04 https://doi.org/10.1017/S1471068403001960 https://www.wikidata.org/entity/Q62038969

José Júlio Alferes Federico Banti Antonio Brogi From Logic Programs Updates to Action Description Updates. 52-77 2004 conf/clima/2004V CLIMA https://doi.org/10.1007/11533092_4 db/conf/clima/climaV2004.html#AlferesBB04 Federico Banti José Júlio Alferes Antonio Brogi Well Founded Semantics for Logic Program Updates. 397-407 https://doi.org/10.1007/978-3-540-30498-2_40 2004 conf/iberamia/2004 IBERAMIA db/conf/iberamia/iberamia2004.html#BantiAB04 José Júlio Alferes Francisco Azevedo Pedro Barahona Carlos Viegas Damásio Terrance Swift Deductive Diagnosis of Digital Circuits. 155-165 2004 conf/ifip12/2004 AIAI db/conf/ifip12/aiai2004.html#AlferesABDS04 https://doi.org/10.1007/1-4020-8151-0_14 José Júlio Alferes Federico Banti Antonio Brogi João Alexandre Leite Semantics for Dynamic Logic Programming: A Principle-Based Approach. 8-20 https://doi.org/10.1007/978-3-540-24609-1_4 2004 conf/lpnmr/2004 LPNMR db/conf/lpnmr/lpnmr2004.html#AlferesBBL04 Wolfgang May José Júlio Alferes François Bry Towards Generic Query, Update, and Event Languages for the Semantic Web. 19-33 https://doi.org/10.1007/978-3-540-30122-6_2 2004 conf/ppswr/2004 PPSWR db/conf/ppswr/ppswr2004.html#MayAB04 José Júlio Alferes João Alexandre Leite Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings JELIA Lecture Notes in Computer Science 3229 Springer 2004 3-540-23242-7 https://doi.org/10.1007/b100483 db/conf/jelia/jelia2004.html José Júlio Alferes Antonio Brogi João Alexandre Leite Luís Moniz Pereira An Evolving Agent with EVOLP. 205-216 2003 conf/agp/2003 APPIA-GULP-PRODE db/conf/agp/agp2003.html#AlferesBLP03 José Júlio Alferes Antonio Brogi João Alexandre Leite Luís Moniz Pereira Logic Programming for Evolving Agents. 281-297 https://doi.org/10.1007/978-3-540-45217-1_21 2003 conf/cia/2003 CIA db/conf/cia/cia2003.html#AlferesBLP03 José Júlio Alferes Antonio Brogi João Alexandre Leite Luís Moniz Pereira An Evolvable Rule-Based E-mail Agent. 394-408 https://doi.org/10.1007/978-3-540-24580-3_45 2003 conf/epia/2003 EPIA db/conf/epia/epia2003.html#AlferesBLP03 José Júlio Alferes Carlos Viegas Damásio Luís Moniz Pereira Semantic Web Logic Programming Tools. 16-32 https://doi.org/10.1007/978-3-540-24572-8_2 2003 conf/ppswr/2003 PPSWR db/conf/ppswr/ppswr2003.html#AlferesDP03

José Júlio Alferes Luís Moniz Pereira Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models http://arxiv.org/abs/cs.LO/0312057 2003 CoRR cs.LO/0312057 db/journals/corr/corr0312.html#cs-LO-0312057

José Júlio Alferes Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski LUPSA language for updating logic programs. 87-116 2002 138 Artif. Intell. 1-2 db/journals/ai/ai138.html#AlferesPPP02 https://doi.org/10.1016/S0004-3702(02)00183-2 https://www.wikidata.org/entity/Q62038988

João Alexandre Leite José Júlio Alferes Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski A Language for Multi-dimensional Updates. 2002 70 Electr. Notes Theor. Comput. Sci. 5 https://doi.org/10.1016/S1571-0661(04)80586-3 https://www.wikidata.org/entity/Q62038978 db/journals/entcs/entcs70.html#LeiteAPPP02 20-38

João Alexandre Leite José Júlio Alferes Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski A Language for Updates with Multiple Dimensions. 325-341 2002 APPIA-GULP-PRODE https://www.programmazionelogica.it/wp-content/uploads/2002/09/agp02_325.pdf conf/agp/2002 db/conf/agp/agp2002.html#LeiteAPPP02 José Júlio Alferes Luís Moniz Pereira Logic Programming Updating - A Guided Approach. 382-412 2002 conf/birthday/2002kowalski2 Computational Logic: Logic Programming and Beyond https://doi.org/10.1007/3-540-45632-5_15 db/conf/birthday/kowalski2002-2.html#AlferesP02 João Alexandre Leite José Júlio Alferes Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski A Language for Multi-dimensional Updates. 19-34 2002 conf/clima/2002 CLIMA db/conf/clima/clima2002.html#LeiteAPPP02 José Júlio Alferes Antonio Brogi João Alexandre Leite Luís Moniz Pereira Evolving Logic Programs. 50-61 2002 conf/jelia/2002 JELIA https://doi.org/10.1007/3-540-45757-7_5 https://www.wikidata.org/entity/Q62038985 db/conf/jelia/jelia2002.html#AlferesBLP02 José Júlio Alferes Pierangelo Dell'Acqua Luís Moniz Pereira A Compilation of Updates plus Preferences. 62-73 2002 conf/jelia/2002 JELIA https://doi.org/10.1007/3-540-45757-7_6 https://www.wikidata.org/entity/Q62038976 db/conf/jelia/jelia2002.html#AlferesDP02 João Alexandre Leite José Júlio Alferes Luís Moniz Pereira Combining societal agents' knowledge. 313-327 2001 APPIA-GULP-PRODE http://www.di.uevora.pt/~pq/agp01/finals/21.pdf conf/agp/2001 db/conf/agp/agp2001.html#LeiteAP01 João Alexandre Leite José Júlio Alferes Luís Moniz Pereira MINERVA - A Dynamic Logic Programming Agent Architecture. 141-157 2001 conf/atal/2001 ATAL https://doi.org/10.1007/3-540-45448-9_11 db/conf/atal/atal2001.html#LeiteAP01 João Alexandre Leite José Júlio Alferes Luís Moniz Pereira On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents' Viewpoints. 276-289 https://doi.org/10.1007/3-540-45329-6_28 2001 conf/epia/2001 EPIA db/conf/epia/epia2001.html#LeiteAP01 José Júlio Alferes Antonio Brogi João Alexandre Leite Luís Moniz Pereira Computing Environment-Aware Agent Behaviours with Logic Program Updates. 216-232 2001 conf/lopstr/2001 LOPSTR https://doi.org/10.1007/3-540-45607-4_12 https://www.wikidata.org/entity/Q62038983 db/conf/lopstr/lopstr2001.html#AlferesBLP01 João Alexandre Leite José Júlio Alferes Luís Moniz Pereira Multi-dimensional Dynamic Knowledge Representation. 365-378 2001 conf/lpnmr/2001 LPNMR https://doi.org/10.1007/3-540-45402-0_27 https://www.wikidata.org/entity/Q62038993 db/conf/lpnmr/lpnmr2001.html#LeiteAP01

José Júlio Alferes João Alexandre Leite Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Dynamic updates of non-monotonic knowledge bases. 43-70 2000 45 J. Log. Program. 1-3 db/journals/jlp/jlp45.html#AlferesLPPP00 https://doi.org/10.1016/S0743-1066(99)00065-5 https://www.wikidata.org/entity/Q62038996

José Júlio Alferes Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Paulo Quaresma Dynamic Knowledge Representation and Its Applications. 1-10 https://doi.org/10.1007/3-540-45331-8_1 2000 conf/aimsa/2000 AIMSA db/conf/aimsa/aimsa2000.html#AlferesPPPQ00 João Alexandre Leite José Júlio Alferes Luís Moniz Pereira Multi-dimensional Dynamic Logic Programming. 17-26 2000 conf/cl/2000clima CL-2000 Workshop on Computational Logic in Multi-Agent Systems db/conf/cl/clima2000.html#LeiteAP00 José Júlio Alferes Heinrich Herre Luís Moniz Pereira Partial Models of Extended Generalized Logic Programs. 149-163 https://doi.org/10.1007/3-540-44957-4_10 2000 conf/cl/2000 Computational Logic db/conf/cl/cl2000.html#AlferesHP00 José Júlio Alferes Luís Moniz Pereira Updates plus Preferences. 345-360 2000 conf/jelia/2000 JELIA https://doi.org/10.1007/3-540-40006-0_24 https://www.wikidata.org/entity/Q62039000 db/conf/jelia/jelia2000.html#AlferesP00 José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski Halina Przymusinska Paulo Quaresma Preliminary exploration on actions as updates. 259-272 1999 conf/agp/1999 APPIA-GULP-PRODE db/conf/agp/agp1999.html#AlferesPPPQ99 José Júlio Alferes Luís Moniz Pereira Terrance Swift Well-founded Abduction via Tabled Dual Programs. 426-440 1999 conf/iclp/1999 ICLP db/conf/iclp/iclp99.html#AlferesPS99 José Júlio Alferes Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski LUPS - A Language for Updating Logic Programs. 162-176 https://doi.org/10.1007/3-540-46767-X_12 https://www.wikidata.org/entity/Q62039002 1999 conf/lpnmr/1999 LPNMR db/conf/lpnmr/lpnmr99.html#AlferesPPP99 Pedro Barahona José Júlio Alferes Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, EPIA '99, Évora, Portugal, September 21-24, 1999, Proceedings EPIA Lecture Notes in Computer Science 1695 Springer 1999 3-540-66548-X https://doi.org/10.1007/3-540-48159-1 db/conf/epia/epia99.html

José Júlio Alferes Luís Moniz Pereira Preface: Logics for Artificial Intelligence. 1-3 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#AlferesP98

José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski 'Classical' Negation in Nonmonotonic Reasoning and Logic Programming. 107-142 1998 20 J. Autom. Reasoning 1 db/journals/jar/jar20.html#AlferesPP98 https://doi.org/10.1023/A:1005900924623 https://www.wikidata.org/entity/Q62039006

José Júlio Alferes João Alexandre Leite Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Dynamic Logic Programming. 393-408 1998 conf/agp/1998 APPIA-GULP-PRODE db/conf/agp/agp1998.html#AlferesLPPP98 José Júlio Alferes João Alexandre Leite Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Dynamic Logic Programming. 98-111 1998 conf/kr/1998 KR db/conf/kr/kr98.html#AlferesLPPP98 Iara de Almeida Móra José Júlio Alferes Argumentative and Cooperative Multi-agent System for Extended Logic Programming. 161-170 1998 conf/sbia/1998 SBIA db/conf/sbia/sbia98.html#MoraA98 https://doi.org/10.1007/10692710_17 José Júlio Alferes Luís Moniz Pereira Tabling Abduction. 75-82 1998 conf/tapd/1998 TAPD ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/moniz.ps.gz db/conf/tapd/tapd98.html#AlferesP98 Michael Schroeder 0001 Iara de Almeida Móra José Júlio Alferes Vivid Agents Arguing about Distributed Extended Logic Programs. 217-228 1997 conf/epia/1997 EPIA db/conf/epia/epia1997.html#SchroederMA97 https://doi.org/10.1007/BFb0023924 José Júlio Alferes Luís Moniz Pereira Reasoning with Logic Programming Lecture Notes in Computer Science 1111 Springer 1996 3-540-61488-5 https://doi.org/10.1007/3-540-61488-5

José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski Belief Revision in Non-Monotonic Reasoning and Logic Programming. 1-22 1996 28 Fundam. Inform. 1-2 db/journals/fuin/fuin28.html#AlferesPP96 https://doi.org/10.3233/FI-1996-281201

José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski Strong and Explicit Negation in Non-Monotonic Reasoning and Logic Programming. 143-163 1996 conf/jelia/1996 JELIA db/conf/jelia/jelia96.html#AlferesPP96 https://doi.org/10.1007/3-540-61630-6_10 José Júlio Alferes Luís Moniz Pereira Update-Programs Can Update Programs. 110-131 1996 conf/nmelp/1996 NMELP db/conf/nmelp/nmelp96.html#AlferesP96 https://doi.org/10.1007/BFb0023804 José Júlio Alferes Luís Moniz Pereira Ewa Orlowska Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings JELIA Lecture Notes in Computer Science 1126 Springer 1996 3-540-61630-6 https://doi.org/10.1007/3-540-61630-6 https://www.wikidata.org/entity/Q58198169 db/conf/jelia/jelia96.html

José Júlio Alferes Luís Moniz Pereira Belief, Provability, and Logic Programs. 1995 5 Journal of Applied Non-Classical Logics 1 db/journals/jancl/jancl5.html#AlferesP95 https://doi.org/10.1080/11663081.1995.10510842 31-50

José Júlio Alferes Carlos Viegas Damásio Luís Moniz Pereira A Logic Programming System for Nonmonotonic Reasoning. 93-147 1995 14 J. Autom. Reasoning 1 db/journals/jar/jar14.html#AlferesDP95 https://doi.org/10.1007/BF00883931 https://www.wikidata.org/entity/Q58831036

José Júlio Alferes Luís Moniz Pereira Teodor C. Przymusinski Belief Revision in Non-Monotonic Reasoning. 40-56 1995 conf/epia/1995 EPIA db/conf/epia/epia95.html#AlferesPP95 https://doi.org/10.1007/3-540-60428-6_4 José Júlio Alferes Renwei Li Luís Moniz Pereira Non-Atomic Actions in the Situation Calculus. 273-284 1995 conf/epia/1995 EPIA db/conf/epia/epia95.html#AlferesLP95 https://doi.org/10.1007/3-540-60428-6_23 Iara de Almeida Móra José Júlio Alferes Modelling Diagnosis Systems with the Logic Programming. 409-418 1995 conf/epia/1995 EPIA db/conf/epia/epia95.html#MoraA95 https://doi.org/10.1007/3-540-60428-6_36

Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Adding Closed World Assumptions to Well-Founded Semantics. 49-68 1994 122 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs122.html#PereiraAA94 https://doi.org/10.1016/0304-3975(94)90201-1 https://www.wikidata.org/entity/Q62039018

José Júlio Alferes Carlos Viegas Damásio Luís Moniz Pereira Top-Down Query Evaluation for Well-Founded Semantics with Explicit Negation. 140-144 1994 conf/ecai/1994 ECAI db/conf/ecai/ecai94.html#AlferesDP94 José Júlio Alferes Luís Moniz Pereira Belief, Provability, and Logic Programs. 106-121 1994 conf/jelia/1994 JELIA db/conf/jelia/jelia94.html#AlferesP94 https://doi.org/10.1007/BFb0021967 José Júlio Alferes Luís Moniz Pereira An Argumentation Theoretic Semantics Based on Non-Refutable Falsity. 3-22 1994 conf/nmelp/1994 NMELP db/conf/nmelp/nmelp94.html#AlferesP94 https://doi.org/10.1007/BFb0030657 José Júlio Alferes Carlos Viegas Damásio Luís Moniz Pereira SLX - A Top-down Derivation Procedure for Programs with Explicit Negation. 424-438 1994 conf/slp/1994 ILPS db/conf/slp/slp94.html#AlferesDP94

Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Non-Monotonic Reasoning with Logic Programming. 227-263 1993 17 J. Log. Program. 2/3&4 db/journals/jlp/jlp17.html#PereiraAA93 https://doi.org/10.1016/0743-1066(93)90032-C https://www.wikidata.org/entity/Q62039020

Luís Moniz Pereira Carlos Viegas Damásio José Júlio Alferes Debugging by Diagnosing Assumptions. 58-74 1993 conf/aadebug/1993 AADEBUG db/conf/aadebug/aadebug93.html#PereiraDA93 https://doi.org/10.1007/BFb0019400 José Júlio Alferes Luís Moniz Pereira Contradiction: When Avoidance Equals Removal - Part I. 11-23 1993 conf/elp/1993 ELP db/conf/elp/elp93.html#AlferesP93 https://doi.org/10.1007/3-540-58025-5_47 José Júlio Alferes Luís Moniz Pereira Contradiction: When Avoidance Equals Removal - Part II. 268-281 1993 conf/elp/1993 ELP db/conf/elp/elp93.html#AlferesP93a https://doi.org/10.1007/3-540-58025-5_61 Luís Moniz Pereira Carlos Viegas Damásio José Júlio Alferes Diagnosis and Debugging as Contradiction Removal in Logic Programs. 183-197 1993 conf/epia/1993 EPIA db/conf/epia/epia93.html#PereiraDA93 https://doi.org/10.1007/3-540-57287-2_47 Luís Moniz Pereira José Júlio Alferes Optative Reasoning with Scenario Semantics. 601-615 1993 conf/iclp/1993 ICLP db/conf/iclp/iclp93.html#PereiraA93 Luís Moniz Pereira Carlos Viegas Damásio José Júlio Alferes Diagnosis and Debugging as Contradiction Removal. 316-330 1993 conf/lpnmr/1993 LPNMR db/conf/lpnmr/lpnmr93.html#PereiraDA93 José Júlio Alferes Phan Minh Dung Luís Moniz Pereira Scenario Semantics of Extended Logic Programs. 334-348 1993 conf/lpnmr/1993 LPNMR db/conf/lpnmr/lpnmr93.html#AlferesDP93 Luís Moniz Pereira José Júlio Alferes Well Founded Semantics for Logic Programs with Explicit Negation. 102-106 1992 conf/ecai/1992 ECAI db/conf/ecai/ecai92.html#PereiraA92 Luís Moniz Pereira Luís Caires José Júlio Alferes SLWV - A Theorem Prover for Logic Programming. 1-23 1992 conf/elp/1992 ELP db/conf/elp/elp92.html#PereiraCA92 https://doi.org/10.1007/3-540-56454-3_1 https://www.wikidata.org/entity/Q62038960 Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Adding Closed World Assumptions to Well Founded Semantics. 562-569 1992 conf/fgcs/1992 FGCS db/conf/fgcs/fgcs92.html#PereiraAA92 José Júlio Alferes Luís Moniz Pereira On Logic Program Semantics with Two Kinds of Negation. 574-588 1992 conf/iclp/1992 JICSLP db/conf/iclp/iclp92.html#AlferesP92 Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Default Theory for Well Founded Semantics with Explicit Negation. 339-356 1992 conf/jelia/1992 JELIA db/conf/jelia/jelia92.html#PereiraAA92 https://doi.org/10.1007/BFb0023437 Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Contradiction Removal Semantics with Explicit Negation. 91-105 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#PereiraAA92 https://doi.org/10.1007/3-540-58095-6_7 Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Logic Programming for Non-Monotonic Reasoning. 107-121 1992 conf/law/1992 Logic at Work db/conf/law/law1992.html#PereiraAA92a https://doi.org/10.1007/3-540-58095-6_8 Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício The Extended Stable Models of Contradiction Removal Semantics. 105-119 1991 conf/epia/1991 EPIA db/conf/epia/epia1991.html#PereiraAA91 https://doi.org/10.1007/3-540-54535-2_28 Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Nonmonotonic Reasoning with Well Founded Semantics. 475-489 1991 conf/iclp/1991 ICLP db/conf/iclp/iclp91.html#PereiraAA91 Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Derivation Procedures for Extended Stable Models. 863-869 1991 conf/ijcai/1991 IJCAI db/conf/ijcai/ijcai91.html#PereiraAA91 http://ijcai.org/Proceedings/91-2/Papers/039.pdf Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício Contradiction Removal within Well Founded Semantics. 105-119 1991 conf/lpnmr/1991 LPNMR db/conf/lpnmr/lpnmr91.html#PereiraAA91 Luís Moniz Pereira José Júlio Alferes Joaquim Nunes Aparício A Practical Introduction to Well Founded Semantics. 277-288 1991 conf/scai/1991 SCAI db/conf/scai/scai1991.html#PereiraAA91 Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Hypothetical Reasoning with Well Founded Semantics. 289-300 1991 conf/scai/1991 SCAI db/conf/scai/scai1991.html#PereiraAA91a Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes Counterfactual Reasoning Based on Revising Assumptions. 566-577 1991 conf/slp/1991 ISLP db/conf/slp/slp91.html#PereiraAA91 Iara Carnevale de Almeida Ricardo Amador Joaquim Nunes Aparício Francisco Azevedo James Bailey 0001 Federico Banti Pedro Barahona Leopoldo E. Bertossi Antonio Brogi François Bry Luís Caires Carlos Viegas Damásio Pierangelo Dell'Acqua Phan Minh Dung Michael Eckert Paul Foder Paul Fodor Tiago Franco Carlos Filipe Freitas Alfredo Gabaldon Ioannis Gerochristos Ana Sofia Gomes Ricardo Gonçalves 0001 Guido Governatori Heinrich Herre Pascal Hitzler Moa Johansson Philipp Kärger Vedran Kasalica Matthias Knorr Ludwig Krippahl João LeiteJoão Alexandre Leite Renwei Li Wolfgang May Belopeta Mito Iara de Almeida Móra Daniel Olmedilla Ewa Orlowska Luís Moniz Pereira Halina Przymusinska Teodor C. Przymusinski Paulo Quaresma Carlos Ramos Dumitru Roman Michael Schroeder 0001 Uta Schwertel Theresa SwiftTerrance Swift Gaston E. Tagni Kewen Wang