المؤلفون: CIALDEA, Marta, ORLANDINI, Andrea

المساهمون: Alessio Lomuscio, Fabio Grandi, Martin Lange, Cialdea, Marta, Orlandini, Andrea

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000380571300019; ispartofbook:Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015); The 22nd International Symposium on Temporal Representation and Reasoning (TIME 2015); firstpage:160; lastpage:169; numberofpages:10; http://hdl.handle.net/11590/284756; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84978176231

الاتاحة: http://hdl.handle.net/11590/284756
https://doi.org/10.1109/TIME.2015.16

المؤلفون: CIALDEA, Marta, ORLANDINI, Andrea, UMBRICO, ALESSANDRO

المساهمون: Cialdea, Marta, Orlandini, Andrea, Umbrico, Alessandro

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000383702800005; volume:53; issue:6; firstpage:649; lastpage:680; numberofpages:32; journal:ACTA INFORMATICA; http://hdl.handle.net/11590/284753; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84949647024; http://link.springer.com/article/10.1007/s00236-015-0252-z

الاتاحة: http://hdl.handle.net/11590/284753
https://doi.org/10.1007/s00236-015-0252-z
http://link.springer.com/article/10.1007/s00236-015-0252-z

المؤلفون: Cialdea, Marta

الاتاحة: http://catalogue.bnf.fr/ark:/12148/cb37596749s

المؤلفون: Thion, Virginie, Cerrito, Serenella, Cialdea, Marta

المساهمون: Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), Università degli Studi Roma Tre = Roma Tre University (ROMA TRE)

المصدر: TABLEAUX - Automated Reasoning with Analytic Tableaux and Related Methods, International Conference ; https://inria.hal.science/hal-00935268 ; TABLEAUX - Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, 2002, Copenhagen, Denmark. pp.266-280, ⟨10.1007/3-540-45616-3_19⟩

مصطلحات موضوعية: [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

جغرافية الموضوع: Copenhagen, Denmark

Relation: hal-00935268; https://inria.hal.science/hal-00935268; https://inria.hal.science/hal-00935268/document; https://inria.hal.science/hal-00935268/file/thio-cial-cerr-Tableaux2002.pdf

الاتاحة: https://inria.hal.science/hal-00935268
https://inria.hal.science/hal-00935268/document
https://inria.hal.science/hal-00935268/file/thio-cial-cerr-Tableaux2002.pdf
https://doi.org/10.1007/3-540-45616-3_19

المؤلفون: UMBRICO, ALESSANDRO, CIALDEA, Marta, ORLANDINI, Andrea, Cesta, Amedeo

المساهمون: Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea, Umbrico, Alessandro, Cesta, Amedeo, Cialdea, Marta, Orlandini, Andrea

مصطلحات موضوعية: Constraint-based planning, Planning and Scheduling, Timeline-based planning, Theoretical Computer Science, Computer Science (all)

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783319491295; info:eu-repo/semantics/altIdentifier/wos/WOS:000389797400037; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 15th International Conference on Italian Association for Artificial Intelligence, AIIA 2016; volume:10037; firstpage:508; lastpage:522; numberofpages:15; journal:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Giovanni Adorni, Stefano Cagnoni, Marco Gori, Marco Maratea; http://hdl.handle.net/11590/311492; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85005939732; http://springerlink.com/content/0302-9743/copyright/2005/

الاتاحة: http://hdl.handle.net/11590/311492
https://doi.org/10.1007/978-3-319-49130-1_37
http://springerlink.com/content/0302-9743/copyright/2005/

المؤلفون: Cialdea, Marta

المصدر: Journal of Applied Non-Classical Logics ; volume 3, issue 2, page 205-223 ; ISSN 1166-3081 1958-5780

الاتاحة: http://dx.doi.org/10.1080/11663081.1993.10510808
http://www.tandfonline.com/doi/pdf/10.1080/10256018808623883

المؤلفون: UMBRICO, ALESSANDRO, ORLANDINI, Andrea, CIALDEA, Marta

المساهمون: Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Umbrico, Alessandro, Orlandini, Andrea, Cialdea, Marta

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-319-24308-5; info:eu-repo/semantics/altIdentifier/isbn/978-3-319-24309-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000366191500031; ispartofbook:AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence; volume:9336; firstpage:410; lastpage:423; numberofpages:14; http://hdl.handle.net/11590/284757; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84983375894

الاتاحة: http://hdl.handle.net/11590/284757
https://doi.org/10.1007/978-3-319-24309-2_31

المؤلفون: UMBRICO, ALESSANDRO, ORLANDINI, Andrea, CIALDEA, Marta

المساهمون: Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina, Umbrico, Alessandro, Orlandini, Andrea, Cialdea, Marta

مصطلحات موضوعية: Computer Science (all), Artificial Intelligence Planning

Relation: ispartofbook:CEUR Workshop Proceedings; 6th Italian Workshop on Planning and Scheduling, IPS 2015; volume:1493; firstpage:17; lastpage:32; numberofpages:16; journal:CEUR WORKSHOP PROCEEDINGS; alleditors:Gabriella Cortellessa, Daniele Magazzeni, Marco Maratea, Ivan Serina; http://hdl.handle.net/11590/311490; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84954310456; http://ceur-ws.org/

الاتاحة: http://hdl.handle.net/11590/311490
http://ceur-ws.org/

المؤلفون: Cialdea, Marta

المصدر: Theoretical Computer Science ; volume 85, issue 2, page 213-229 ; ISSN 0304-3975

الاتاحة: http://dx.doi.org/10.1016/0304-3975(91)90181-z
https://api.elsevier.com/content/article/PII:030439759190181Z?httpAccept=text/xml
https://api.elsevier.com/content/article/PII:030439759190181Z?httpAccept=text/plain

المؤلفون: CIALDEA, Marta, ORLANDINI, Andrea, UMBRICO, ALESSANDRO

المساهمون: Amedeo Cesta, Carlo Combi, Francois Laroussinie, Cialdea, Marta, Orlandini, Andrea, Umbrico, Alessandro

مصطلحات موضوعية: temporal planning

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-4799-4228-2; info:eu-repo/semantics/altIdentifier/wos/WOS:000349455500004; ispartofbook:21st International Symposium onTemporal Representation and Reasoning (TIME 2014); 21st International Symposium onTemporal Representation and Reasoning (TIME 2014); firstpage:37; lastpage:46; numberofpages:10; alleditors:Amedeo Cesta, Carlo Combi, Francois Laroussinie; http://hdl.handle.net/11590/184425; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84909590208; http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6940372&pageNumber%3D2%26queryText%3DTemporal+Representation+And+Reasoning+.LB.TIME.RB.,+2014+21st+International+Symposium+On; 2-s2.0-84909590208

الاتاحة: http://hdl.handle.net/11590/184425
https://doi.org/10.1109/TIME.2014.27
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=6940372&pageNumber%3D2%26queryText%3DTemporal+Representation+And+Reasoning+.LB.TIME.RB.,+2014+21st+International+Symposium+On

المؤلفون: CIALDEA, Marta

المساهمون: Maria Paola Bonacina, Cialdea, Marta

مصطلحات موضوعية: modal logic, decision procedure, hybrid logic

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-642-38573-5; ispartofbook:Automated Deduction – CADE-24; 24th International Conference on Automated Deduction; volume:7898; firstpage:76; lastpage:90; numberofpages:15; journal:LECTURE NOTES IN COMPUTER SCIENCE; alleditors:Maria Paola Bonacina; http://hdl.handle.net/11590/175254; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84879953994; http://link.springer.com/chapter/10.1007/978-3-642-38574-2_5

الاتاحة: http://hdl.handle.net/11590/175254
https://doi.org/10.1007/978-3-642-38574-2_5
http://link.springer.com/chapter/10.1007/978-3-642-38574-2_5

المؤلفون: CERRITO S., CIALDEA, Marta

المساهمون: Cerrito, S., Cialdea, Marta

مصطلحات موضوعية: automated reasoning, modal logic, hybrid logic

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-642-22118-7; info:eu-repo/semantics/altIdentifier/wos/WOS:000312505300010; ispartofbook:Automated Reasoning with Analytic Tableaux and Related Methods; TABLEAUX 2011; volume:6793; firstpage:104; lastpage:118; numberofpages:15; journal:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11590/178051; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79959710787; http://www.springerlink.com/content/n6763781785473w7/

الاتاحة: http://hdl.handle.net/11590/178051
https://doi.org/10.1007/978-3-642-22119-4_10
http://www.springerlink.com/content/n6763781785473w7/

المؤلفون: CERRITO S, CIALDEA, Marta

المساهمون: Cerrito, S, Cialdea, Marta

مصطلحات موضوعية: automated reasoning, modal logic, hybrid logic

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-1-84890-013-4; ispartofbook:Advances in Modal Logic; Advances in Modal Logic; volume:8; firstpage:57; lastpage:74; numberofpages:18; http://hdl.handle.net/11590/180049; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-79958225009; www.aiml.net/volumes/volume8/Cerrito-Mayer.pdf

الاتاحة: http://hdl.handle.net/11590/180049

المؤلفون: CIALDEA, Marta, S. CERRITO

المساهمون: Cialdea, Marta, S., Cerrito

مصطلحات موضوعية: logic prover, automated reasoning, modal logic

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-642-14202-4; info:eu-repo/semantics/altIdentifier/wos/WOS:000286904900022; ispartofbook:Proc. of the 5th International Joint Conference on Automated Reasoning; IJCAR 2010; volume:LNAI 6173; firstpage:255; lastpage:262; numberofpages:8; http://hdl.handle.net/11590/179908; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-77955260033; http://www.springerlink.com/content/m4v8g5m697132v68/

الاتاحة: http://hdl.handle.net/11590/179908
https://doi.org/10.1007/978-3-642-14203-1_22
http://www.springerlink.com/content/m4v8g5m697132v68/

المؤلفون: CIALDEA, Marta

المساهمون: Cialdea, Marta

مصطلحات موضوعية: educational support system, logic based tool, abduction

Relation: info:eu-repo/semantics/altIdentifier/isbn/978-3-642-02715-4; info:eu-repo/semantics/altIdentifier/wos/WOS:000271335100012; ispartofbook:Automated Resoning with Analytic Tableaux and Related Methods (TABLEAUX 2009). , pages 167-172; The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods; volume:5607; firstpage:167; lastpage:172; numberofpages:6; journal:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11590/184706; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-77956322456

الاتاحة: http://hdl.handle.net/11590/184706
https://doi.org/10.1007/978-3-642-02716-1_13

المؤلفون: CIALDEA, Marta, LIMONGELLI, Carla, A. ORLANDINI, V. POGGIONI

المساهمون: Cialdea, Marta, Limongelli, Carla, Orlandini, A., Poggioni, V.

مصطلحات موضوعية: artificial intelligence planning, temporal logic

Relation: info:eu-repo/semantics/altIdentifier/isbn/3-540-28931-3; info:eu-repo/semantics/altIdentifier/wos/WOS:000233235000022; ispartofbook:TABLEAUX 2005, Automated Reasoning with Analytic Tableaux and Related Methods; TABLEAUX 2005, Automated Reasoning with Analytic Tableaux and Related Methods; volume:3702; firstpage:307; lastpage:311; numberofpages:5; journal:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; http://hdl.handle.net/11590/176853; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-77956322456

الاتاحة: http://hdl.handle.net/11590/176853
https://doi.org/10.1007/11554554_23

المؤلفون: CIALDEA, Marta, A. ORLANDINI, V. POGGIONI, LIMONGELLI, Carla

المساهمون: Cialdea, Marta, Limongelli, Carla, A., Orlandini, V., Poggioni

Relation: ispartofbook:IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence - Professional Book Center 2005; IJCAI; http://hdl.handle.net/11590/179283; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84880713041

الاتاحة: http://hdl.handle.net/11590/179283

المؤلفون: CIALDEA, Marta, A. ORLANDINI, V. POGGIONI, LIMONGELLI, Carla

المساهمون: Cialdea, Marta, Limongelli, Carla, A., Orlandini, V., Poggioni

Relation: 9 Convegno Italiano di Intelligenza Artificiale AI*IA; http://hdl.handle.net/11590/181955

الاتاحة: http://hdl.handle.net/11590/181955

المؤلفون: M. BORDEGONI, D. NARDI, F. PIRRI, CIALDEA, Marta

المساهمون: M., Bordegoni, Cialdea, Marta, D., Nardi, F., Pirri

Relation: IEEE International Workshop on Safety, Security and Rescue Robotics (SSRR 04); http://hdl.handle.net/11590/181817

الاتاحة: http://hdl.handle.net/11590/181817

المؤلفون: CIALDEA, Marta

المساهمون: Cialdea, Marta

مصطلحات موضوعية: Tableaux, Modal logic, Hybrid logic

Relation: info:eu-repo/semantics/altIdentifier/wos/WOS:000342134000004; volume:53; issue:3; firstpage:305; lastpage:315; numberofpages:11; journal:JOURNAL OF AUTOMATED REASONING; http://hdl.handle.net/11590/140810; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84919877981; http://link.springer.com/article/10.1007/s10817-014-9307-z

الاتاحة: http://hdl.handle.net/11590/140810
https://doi.org/10.1007/s10817-014-9307-z
http://link.springer.com/article/10.1007/s10817-014-9307-z