Search

Your search keyword '"Croitoru, Madalina"' showing total 428 results
Start Over Author "Croitoru, Madalina"

Refine your results

more »

more »

more »

more »
428 results on '"Croitoru, Madalina"'

1. A Child-Robot Interaction Experiment to Analyze Gender Stereotypes in the Perception of Mathematical Abilities

Author

Croitoru, Madalina, Laviron, Pablo, Bando, Sio, Gilles, Eric, Miled, Amine, Anders, Royce, Blanc, Nathalie, Ganesh, Gowrishankar, Brigaud, Emmanuelle, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bramer, Max, editor, and Stahl, Frederic, editor

Published
2025
Full Text
View/download PDF

2. Symbolic Artificial Intelligence for Schema Therapy Using Knowledge Graphs

Author

Croitoru, Madalina, Blanc, Nathalie, Anders, Royce, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cabrera, Inma P., editor, Ferré, Sébastien, editor, and Obiedkov, Sergei, editor

Published
2024
Full Text
View/download PDF

3. Enhancing JAAD with Knowledge Graphs for Improved Pedestrian Crossing Predictions

Author

Victor, Sandra, Ganesh, Gowrishankar, Croitoru, Madalina, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cabrera, Inma P., editor, Ferré, Sébastien, editor, and Obiedkov, Sergei, editor

Published
2024
Full Text
View/download PDF

4. GAINS: Comparison of Genetic AlgorIthms and Neural AlgorithmS for Video Game Playing

Author

Bazire, Jonathan, Crista, Allan, Germain, Mike, Joseph-Angelique, Juan, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bouraoui, Zied, editor, and Vesic, Srdjan, editor

Published
2024
Full Text
View/download PDF

5. Utility Functions for Human/Robot Interaction

Author

Yun, Bruno, Oren, Nir, and Croitoru, Madalina

Subjects
Computer Science - Artificial Intelligence
Abstract

In this paper, we place ourselves in the context of human robot interaction and address the problem of cognitive robot modelling. More precisely we are investigating properties of a utility-based model that will govern a robot's actions. The novelty of this approach lies in embedding the responsibility of the robot over the state of affairs into the utility model via a utility aggregation function. We describe desiderata for such a function and consider related properties.

Published
2022

6. Trust-based Multiagent Consensus or Weightings Aggregation

Author

Yun, Bruno and Croitoru, Madalina

Subjects
Computer Science - Artificial Intelligence, Computer Science - Multiagent Systems
Abstract

We introduce a framework for reaching a consensus amongst several agents communicating via a trust network on conflicting information about their environment. We formalise our approach and provide an empirical and theoretical analysis of its properties.

Published
2020

7. A Knowledge Rich Task Planning Framework for Human-Robot Collaboration

Author

Shekhar, Shashank, Favier, Anthony, Alami, Rachid, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bramer, Max, editor, and Stahl, Frederic, editor

Published
2023
Full Text
View/download PDF

8. Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

Author

Sfar, Aziz, Carral, David, Irofti, Dina, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Cimatti, Alessandro, editor, and Titolo, Laura, editor

Published
2023
Full Text
View/download PDF

9. Postmodern Human-Machine Dialogues: Pedagogical Inquiry Experiments

Author

Bocquelet, Marie, Caballero, Fabien, Bataille, Guillaume, Fleury, Alexandre, Gasc, Thibault, Hutte, Norman, Maurin, Christina, Serrano, Lea, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Ojeda-Aciego, Manuel, editor, Sauerwald, Kai, editor, and Jäschke, Robert, editor

Published
2023
Full Text
View/download PDF

10. Distance-Based Approaches to Repair Semantics in Ontology-based Data Access

Author

Prouté, César, Yun, Bruno, and Croitoru, Madalina

Subjects
Computer Science - Artificial Intelligence, Computer Science - Databases
Abstract

In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard inconsistent tolerant semantics usually yield few answers. In this paper, we use the notion of syntactic distance between repairs following the intuition that it can allow us to cluster some repairs "close" to each other. In this way, we propose a generic framework to answer queries in a more personalise fashion.

Published
2019

12. Using Graphs to Represent Japanese Words for Serious Games

Author

Tribes, Tristan, Rouquette-Campredon, Virgil, Helye, Samuel, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Braun, Tanya, editor, Cristea, Diana, editor, and Jäschke, Robert, editor

Published
2022
Full Text
View/download PDF

13. Scrutable Robot Actions Using a Hierarchical Ontological Model

Author

Jedwabny, Martin, Bisquert, Pierre, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Braun, Tanya, editor, Cristea, Diana, editor, and Jäschke, Robert, editor

Published
2022
Full Text
View/download PDF

18. Assessing the Impact of Agents in Weighted Bipolar Argumentation Frameworks

Author

Himeur, Areski, Yun, Bruno, Bisquert, Pierre, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bramer, Max, editor, and Ellis, Richard, editor

Published
2021
Full Text
View/download PDF

19. Probabilistic Rule Induction for Transparent CBR Under Uncertainty

Author

Jedwabny, Martin, Bisquert, Pierre, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bramer, Max, editor, and Ellis, Richard, editor

Published
2021
Full Text
View/download PDF

20. A General Modifier-based Framework for Inconsistency-Tolerant Query Answering

Author

Baget, Jean Francois, Benferhat, Salem, Bouraoui, Zied, Croitoru, Madalina, Mugnier, Marie-Laure, Papini, Odile, Rocher, Swan, and Tabia, Karim

Subjects
Computer Science - Artificial Intelligence
Abstract

We propose a general framework for inconsistency-tolerant query answering within existential rule setting. This framework unifies the main semantics proposed by the state of art and introduces new ones based on cardinality and majority principles. It relies on two key notions: modifiers and inference strategies. An inconsistency-tolerant semantics is seen as a composite modifier plus an inference strategy. We compare the obtained semantics from a productivity point of view.

Published
2016

23. A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules

Author

Hecham, Abdelraouf, Bisquert, Pierre, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Alam, Mehwish, editor, Braun, Tanya, editor, and Yun, Bruno, editor

Published
2020
Full Text
View/download PDF

24. An Incremental Algorithm for Computing All Repairs in Inconsistent Knowledge Bases

Author

Yun, Bruno, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Alam, Mehwish, editor, Braun, Tanya, editor, and Yun, Bruno, editor

Published
2020
Full Text
View/download PDF

25. Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results

Author

Yun, Bruno, Croitoru, Madalina, Vesic, Srdjan, Bisquert, Pierre, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Croitoru, Madalina, editor, Marquis, Pierre, editor, Rudolph, Sebastian, editor, and Stapleton, Gem, editor

Published
2018
Full Text
View/download PDF

26. Deliberation Towards Transitivity with Unshared Features

Author

Boixel, Arthur, Bisquert, Pierre, Croitoru, Madalina, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Baldoni, Matteo, editor, Dastani, Mehdi, editor, Liao, Beishui, editor, Sakurai, Yuko, editor, and Zalila Wenkstern, Rym, editor

Published
2019
Full Text
View/download PDF

27. Graph Structures for Knowledge Representation and Reasoning

Author

Cochez, Michael, Croitoru, Madalina, Marquis, Pierre, and Rudolph, Sebastian

Subjects
Artificial Intelligence, Information Systems Applications (incl. Internet), Computer Communication Networks, Mathematical Logic and Formal Languages, Computer and Information Systems Applications, Formal Languages and Automata Theory, open access, concept lattices, data mining, databases, fca, formal concept analysis, formal languages, formal logic, information analysis, information systems, knowledge-based system, model-based reasoning, network protocols, ontologies, Information retrieval, Internet searching, Network hardware, Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence, bic Book Industry Communication::U Computing & information technology::UN Databases::UNH Information retrieval, bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware, bic Book Industry Communication::U Computing & information technology::UY Computer science
Abstract

This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.

Published
2021
Full Text
View/download PDF

28. A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling

Author

Hecham, Abdelraouf, Croitoru, Madalina, Bisquert, Pierre, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Benzmüller, Christoph, editor, Ricca, Francesco, editor, Parent, Xavier, editor, and Roman, Dumitru, editor

Published
2018
Full Text
View/download PDF

29. Defining Argumentation Attacks in Practice: An Experiment in Food Packaging Consumer Expectations

Author

Yun, Bruno, Thomopoulos, Rallou, Bisquert, Pierre, Croitoru, Madalina, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Chapman, Peter, editor, Endres, Dominik, editor, and Pernelle, Nathalie, editor

Published
2018
Full Text
View/download PDF

30. Multi-criteria Decision Making with Existential Rules Using Repair Techniques

Author

Karanikolas, Nikos, Croitoru, Madalina, Bisquert, Pierre, Kaklamanis, Christos, Thomopoulos, Rallou, Yun, Bruno, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Bramer, Max, editor, and Petridis, Miltos, editor

Published
2018
Full Text
View/download PDF

33. Combinatorial Results on Directed Hypergraphs for the SAT Problem

Author

Croitoru, Cornelius, Croitoru, Madalina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Croitoru, Madalina, editor, Marquis, Pierre, editor, Rudolph, Sebastian, editor, and Stapleton, Gem, editor

Published
2015
Full Text
View/download PDF

34. A Structural Benchmark for Logical Argumentation Frameworks

Author

Yun, Bruno, Vesic, Srdjan, Croitoru, Madalina, Bisquert, Pierre, Thomopoulos, Rallou, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Adams, Niall, editor, Tucker, Allan, editor, and Weston, David, editor

Published
2017
Full Text
View/download PDF

36. On the Chase for All Provenance Paths with Existential Rules

Author

Hecham, Abdelraouf, Bisquert, Pierre, Croitoru, Madalina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Costantini, Stefania, editor, Franconi, Enrico, editor, Van Woensel, William, editor, Kontchakov, Roman, editor, Sadri, Fariba, editor, and Roman, Dumitru, editor

Published
2017
Full Text
View/download PDF

37. Conceptual graphs at work : efficient reasoning and applications

Author

Croitoru, Madalina

Subjects
006.3
Abstract

This thesis describes original research in the field of knowledge representation and reasoning by presenting novel extensions to the Conceptual Graph formalism which increase their reasoning capabilities and conceptual modelling applicability in Artificial Intelligence.  Conceptual Graphs benefit from graph-based reasoning mechanisms, plug-in capabilities over existing data structures and good visualization capabilities.  These advantages have to be adapted for an information era where quick results and representation versatility are essential for successful frameworks.  This thesis will show how to extend Conceptual Graphs as a knowledge representation and reasoning formalism to address these needs.  We claim that this extension has to focus on both semantic and syntactic aspects.  More precisely we improve existing reasoning algorithms and propose Conceptual Graphs extensions that allow for the representation of hierarchical knowledge and concurrent, interrelated events.  Our work is evaluated theoretically.  We highlight new polynomial instances for the NP-complete problem of projection checking (the main reasoning mechanism for Conceptual Graphs).  We demonstrate the soundness and completeness of our proposed extensions.  We show how our extensions can be successfully employed for conceptual modelling.

Published
2006

43. Defining Key Semantics for the RDF Datasets: Experiments and Evaluations

Author

Atencia, Manuel, Chein, Michel, Croitoru, Madalina, David, Jérôme, Leclère, Michel, Pernelle, Nathalie, Saïs, Fatiha, Scharffe, Francois, Symeonidou, Danai, Goebel, Randy, Series editor, Tanaka, Yuzuru, Series editor, Wahlster, Wolfgang, Series editor, Hernandez, Nathalie, editor, Jäschke, Robert, editor, and Croitoru, Madalina, editor

Published
2014
Full Text
View/download PDF

46. Information Revelation Strategies in Abstract Argument Frameworks Using Graph Based Reasoning

Author

Croitoru, Madalina, Oren, Nir, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Croitoru, Madalina, editor, Rudolph, Sebastian, editor, Woltran, Stefan, editor, and Gonzales, Christophe, editor

Published
2014
Full Text
View/download PDF

47. A Domain-Specific Durum Wheat Knowledge Base

Author

Arioua, Abdallah, Buche, Patrice, Croitoru, Madalina, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Garoufallou, Emmanouel, editor, Subirats Coll, Imma, editor, Stellato, Armando, editor, and Greenberg, Jane, editor

Published
2016
Full Text
View/download PDF

48. Arguing About End-of-Life of Packagings: Preferences to the Rescue

Author

Yun, Bruno, Bisquert, Pierre, Buche, Patrice, Croitoru, Madalina, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Kotenko, Igor, Series editor, Liu, Ting, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Garoufallou, Emmanouel, editor, Subirats Coll, Imma, editor, Stellato, Armando, editor, and Greenberg, Jane, editor

Published
2016
Full Text
View/download PDF

49. A Proposal for Modelling Agrifood Chains as Multi Agent Systems

Author

Croitoru, Madalina, Buche, Patrice, Charnomordic, Brigitte, Fortin, Jerome, Jones, Hazael, Neveu, Pascal, Symeonidou, Danai, Thomopoulos, Rallou, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Carvalho, Joao Paulo, editor, Lesot, Marie-Jeanne, editor, Kaymak, Uzay, editor, Vieira, Susana, editor, Bouchon-Meunier, Bernadette, editor, and Yager, Ronald R., editor

Published
2016
Full Text
View/download PDF

50. On the Explanation of SameAs Statements Using Argumentation

Author

Arioua, Abdallah, Croitoru, Madalina, Papaleo, Laura, Pernelle, Nathalie, Rocher, Swan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Schockaert, Steven, editor, and Senellart, Pierre, editor

Published
2016
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results