Ioan Alfred Letia

Affiliations:
  • Technical University of Cluj-Napoca, Romania


According to our database1, Ioan Alfred Letia authored at least 56 papers between 1993 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2019
Towards Balancing the Complexity of Convolutional Neural Network with the Role of Optical Coherence Tomography in Retinal Conditions.
Proceedings of the 15th IEEE International Conference on Intelligent Computer Communication and Processing, 2019

2017
On explaining inconsistencies in multi-context streams as support for the human user.
Proceedings of the 13th IEEE International Conference on Intelligent Computer Communication and Processing, 2017

2016
Assuring safety in air traffic control systems with argumentation and model checking.
Expert Syst. Appl., 2016

2015
Model checking as support for inspecting compliance to rules in flexible processes.
J. Vis. Lang. Comput., 2015

2014
Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions.
Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

A formal approach for identifying assurance deficits in unmanned aerial vehicle software.
Proceedings of the Progress in Systems Engineering, 2014

2013
Towards adaptive normative systems for communities of agents.
Web Intell. Agent Syst., 2013

Compliance checking of integrated business processes.
Data Knowl. Eng., 2013

Justificatory and Explanatory Argumentation for Committing Agents
CoRR, 2013

2012
Logic-Based Reputation Model in E-Commerce Simulation.
J. Artif. Soc. Soc. Simul., 2012

Plausible Description Logic Programs for Stream Reasoning.
Future Internet, 2012

Description Plausible Logic Programs for Stream Reasoning.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

2011
Trusted Beliefs for Helpful Behavior When Building Web Services.
Scalable Comput. Pract. Exp., 2011

A model of trust and reputation in e-commerce based on multimodal logic.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Service monitoring with ontology based expectations.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Argumentative agents for justifying decisions in audit.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Embedding value-based argumentation in persuasive dialogs.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Using arguments on requirements for services.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

Foreword.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

A neural model for semantically enhancing Web APIs.
Proceedings of the IEEE International Conference on Intelligent Computer Communication and Processing, 2011

FloodTrust for Improved Trust Transitivity.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

Simplifying Ontologies for Smoother Interaction in Heterogeneous Environments.
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

A Neural Model for Ontology Matching.
Proceedings of the Federated Conference on Computer Science and Information Systems, 2011

Towards Justifying Norm Compliance.
Proceedings of the Coordination, 2011

Arguing with Justifications between Collaborating Agents.
Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

2010
Helpful Behavior Based on Trust for Web Services.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Semantic Service Alignment Using Concept Description Refinement.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Expectations for Assessment of Services Quality.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

An Argumentation Approach to Incompletely Specified Software Services.
Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Towards Pragmatic Argumentative Agents within a Fuzzy Description Logic Framework.
Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2008
Text-Based Ontology Enrichment Using Hierarchical Self-organizing Maps.
Proceedings of the First International Workshop on Nature Inspired Reasoning for the Semantic Web, 2008

A neural model for unsupervised taxonomy enrichment.
Proceedings of the iiWAS'2008, 2008

A Planning-Based Approach for Enacting World Wide Argument Web.
Proceedings of the Intelligent Distributed Computing, Systems and Applications, Proceedings of the 2nd International Symposium on Intelligent Distributed Computing, 2008

Contextual Extension with Concept Maps in the Argument Interchange Format.
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007
Z-Based Agents for Service Oriented Computing.
Proceedings of the Service-Oriented Computing: Agents, 2007

Exploiting Rough Argumentation in an Online Dispute Resolution Mediator.
Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Structured Argumentation in a Mediator for Online Dispute Resolution.
Proceedings of the Declarative Agent Languages and Technologies V, 2007

2006
Running Contracts with Defeasible Commitment.
Proceedings of the Advances in Applied Artificial Intelligence, 2006

Defeasible Protocols in Persuasion Dialogues.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Agreeing on Defeasible Commitments.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Commitment-Based Policies in Persuasion Dialogues with Defeasible Beliefs.
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005
Automating the Dispute Resolution in a Task Dependency Network.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004
Achieving Competence by Argumentation on Rules for Roles.
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

2002
Developing Collaborative Golog Agents by Reinforcement Learning.
Int. J. Artif. Intell. Tools, 2002

Norms and Their Role in a Model of Electronic Institution.
Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

Extracting cloud motion from satellite image sequences.
Proceedings of the Seventh International Conference on Control, 2002

2001
Norms for DLP Agents Working in a Warehouse Scenario.
Proceedings of the Engineering of Intelligent Systems, 2001

Diagnosis of the Dynamics within an Organization by Trace Checking of Behavioural Requirements.
Proceedings of the Agent-Oriented Software Engineering II, Second International Workshop, 2001

2000
First Experiments for Mining Sequential Patterns on Distributed Sites with Multi-Agents.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

Validating the Behavior of Self-Interested Agents in an Information Market Scenario.
Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

Towards Validation of Specifications by Simulation.
Proceedings of the Infrastructure for Agents, 2000

1999
A TLA+ Specification for Agent Communication that Enables Proofs.
Proceedings of the Third Annual Conference on Autonomous Agents, 1999

1998
Using Tolerance Calculus for Reasoning in Relative Order of Magnitude Models.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

Decision Trees and Rule Induction in Simulated Soccer Agents.
Proceedings of the Collective Robotics, First International Workshop, 1998

1995
Knowledge transfer when learning a second programming language.
Proceedings of the World Conference on Computers in Education VI, 1995

1993
Embedding Temporal Reasoning into the ATMS Framework.
Proceedings of the Expertensysteme 93, 1993


  Loading...