Some properties of implications via aggregation functions and overlap functionsZAPATA, H; BUSTINCE, H; DE MIGUEL, L et al.International journal of computational intelligence systems. 2014, Vol 7, Num 1-6, pp 993-1001, 9 p.Article

Typical Hesitant Fuzzy NegationsBEDREGAL, Benjamin; SANTIAGO, Regivan H. N; BUSTINCE, Humberto et al.International journal of intelligent systems. 2014, Vol 29, Num 6, pp 525-543, issn 0884-8173, 19 p.Article

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-ModelsFERRARI, Mauro; FIORENTINI, Camillo; FIORINO, Guido et al.Journal of automated reasoning. 2013, Vol 51, Num 2, pp 129-149, issn 0168-7433, 21 p.Article

On fuzzy implications: An axiomatic approachMASSANET, Sebastia; MAYOR, Gaspar; MESIAR, Radko et al.International journal of approximate reasoning. 2013, Vol 54, Num 9, pp 1471-1482, issn 0888-613X, 12 p.Article

Epistemic Logic Founded on NonignoranceAKAMA, Seiki; MURAI, Tetsuya; KUDO, Yasuo et al.International journal of intelligent systems. 2013, Vol 28, Num 9, pp 883-891, issn 0884-8173, 9 p.Article

Online Bayesian inference for the parameters of PRISM programsCUSSENS, James.Machine learning. 2012, Vol 89, Num 3, pp 279-297, issn 0885-6125, 19 p.Conference Paper

An Automated Derivation of Frege's Sentential Calculus from Lukasiewicz's CNHORNER, Jack K.Artificial intelligence. International conferenceWorldComp'2011. 2011, pp 190-196, isbn 1-60132-183-X 1-60132-184-8 1-60132-185-6, 7 p.Conference Paper

Reasoning about Hybrid StatesRIVERA, Angel.Foundations of computer science. International conferenceWorldComp'2011. 2011, pp 69-74, isbn 1-60132-179-1, 6 p.Conference Paper

Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programsTRUSZCZYNSKI, Miroslaw.Artificial intelligence (General ed.). 2010, Vol 174, Num 16-17, pp 1285-1306, issn 0004-3702, 22 p.Article

Agent-based speculative constraint processing : Software Agent and Its ApplicationsHOSOBE, Hiroshi; SATOH, Ken; CODOGNET, Philippe et al.IEICE transactions on information and systems. 2007, Vol 90, Num 9, pp 1354-1362, issn 0916-8532, 9 p.Article

Deontic logic and artificial normative systems (8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006)Goble, Lou; Meyer, John-Jules Ch.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-35842-0, 1Vol, X-271 p, isbn 3-540-35842-0Conference Proceedings

Overcoming performance barriers : Efficient verification techniques for logical frameworksPIENTKA, Brigitte.Lecture notes in computer science. 2006, pp 3-10, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 8 p.Conference Paper

Analysing and extending well-founded and partial stable semantics using partial equilibrium logicCABALAR, Pedro; ODINTSOV, Sergei; PEARCE, David et al.Lecture notes in computer science. 2006, pp 346-360, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 15 p.Conference Paper

Handling incomplete and complete tables in tabled logic programsROCHA, Ricardo.Lecture notes in computer science. 2006, pp 427-428, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

An external module for implementing linear tabling in prologSILVA, Claudio; ROCHA, Ricardo; LOPES, Ricardo et al.Lecture notes in computer science. 2006, pp 429-430, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Learning semantic parsers : A constraint handling rule approachAGUILAR-SOLIS, Dulce.Lecture notes in computer science. 2006, pp 447-448, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

A declarative framework for security : Secure concurrent constraint programmingLOPEZ, Hugo A; PALANLIDESSI, Catuscia; PEREZ, Jorge A et al.Lecture notes in computer science. 2006, pp 449-450, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Logtalk processing of STEP Part 21 filesMOURA, Paulo; MARCHETTI, Vincent.Lecture notes in computer science. 2006, pp 453-454, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

A computational approach to pocklington certificates in type theoryGREGOIRE, Benjamin; THERY, Laurent; WERNER, Benjamin et al.Lecture notes in computer science. 2006, pp 97-113, issn 0302-9743, isbn 3-540-33438-6, 1Vol, 17 p.Conference Paper

Logic based program synthesis and transformation (15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005)Hill, Patricia.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-32654-5, 1Vol, X-178 p, isbn 3-540-32654-5Conference Proceedings

Institutional 2-cells and Grothendieck InstitutionsMOSSAKOWSKI, Till.Algebra, meaning, and computation (essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday). Lecture notes in computer science. 2006, pp 124-149, issn 0302-9743, isbn 3-540-35462-X, 1Vol, 26 p.Book Chapter

Using combined static analysis and profiling for logic program execution time estimationMERA, Edison; LOPEZ-GARCIA, Pedro; PUEBLA, German et al.Lecture notes in computer science. 2006, pp 431-432, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Decidability and expressive power of real time logicsRABINOVICH, Alexander.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-45026-2, 1Vol, p. 32Conference Paper

Emotion models for situated normative systems?PETTA, Paolo.Lecture notes in computer science. 2006, pp 6-7, issn 0302-9743, isbn 3-540-35842-0, 1Vol, 2 p.Conference Paper

Towards temporal contextual logic programmingNOGUEIRA, Vitor; ABREU, Salvador.Lecture notes in computer science. 2006, pp 439-441, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 3 p.Conference Paper