|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 9 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Pascual Julián, Jesús Medina, Pedro J. Morcillo, Ginés Moreno, Manuel Ojeda-Aciego |
A Static Preprocess for Improving Fuzzy Thresholded Tabulation.  |
IWANN  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco P. Romero, Pascual Julián Iranzo, Andrés Soto, Mateus Ferreira Satler, Juan Gallardo-Casero |
A Fuzzy Declarative Approach for Classifying Unlabeled Short Texts Using Thesauri. |
WILF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Sound Semantics for a Similarity-Based Logic Programming Language. |
IWANN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Programming Environment for Bousi-Prolog. |
IC-AI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
An efficient fuzzy unification method and its implementation into the Bousi~Prolog system. |
FUZZ-IEEE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
Bousi~Prolog - A Fuzzy Logic Programming Language for Modeling Vague Knowledge and Approximate Reasoning. |
IJCCI (ICFC-ICNC) |
2010 |
DBLP BibTeX RDF |
|
| 1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
An improved reductant calculus using fuzzy partial evaluation techniques. |
Fuzzy Sets and Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
On the Declarative Semantics of Multi-Adjoint Logic Programs. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
Herbrand Model, Fuzzy Logic Programming, Declarative Semantics |
| 1 | Pascual Julián Iranzo, Jesús Medina, Ginés Moreno, Manuel Ojeda-Aciego |
Thresholded Tabulation in a Fuzzy Logic Setting. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano, Juan Gallardo-Casero |
Bousi~Prolog: a Prolog Extension Language for Flexible Query Answering. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A declarative semantics for Bousi~Prolog. |
PPDP |
2009 |
DBLP DOI BibTeX RDF |
fuzzy herbrand model, proximity relations, fuzzy logic programming, fixpoint semantics, declarative semantics |
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A Similarity-Based WAM for Bousi~Prolog. |
IWANN |
2009 |
DBLP DOI BibTeX RDF |
Fuzzy Prolog, Unification by Similarity, Warren Abstract Machine, Fuzzy Logic Programming |
| 1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
Efficient Reductants Calculi using Partial Evaluation Techniques with Thresholding. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
Measuring the Interpretive Cost in Fuzzy Logic Computations. |
WILF |
2007 |
DBLP DOI BibTeX RDF |
Reductants, Fuzzy Logic Programming, Cost Measures |
| 1 | Pascual Julián, Ginés Moreno, Jaime Penabad |
Operational/Interpretive Unfolding of Multi-adjoint Logic Programs. |
J. UCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Clemente Rubio-Manzano |
A WAM implementation for flexible query answering. |
Artificial Intelligence and Soft Computing |
2006 |
DBLP BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad |
Unfolding-based Improvements on Fuzzy Logic Programs. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Ginés Moreno, Jaime Penabad |
On fuzzy unfolding: A multi-adjoint approach. |
Fuzzy Sets and Systems |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo, Christian Villamizar Lamus |
Analysing Definitional Trees: Looking for Determinism. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
narrowing strategies, implementation of functional logic languages, program transformation, Functional logic programming |
| 1 | Pascual Julián Iranzo |
Thesis: Partial evaluation of lazy functional logic programs. |
AI Commun. |
2003 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Uniform Lazy Narrowing. |
J. Log. Comput. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Antoy, Pascual Julián Iranzo, Bart Massey |
Improving the Efficiency of Non-Deterministic Computations. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascual Julián Iranzo |
On the Correctness of the Factoring Transformation. |
FLOPS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Polygenetic Partial Evaluation of Lazy Functional Logic Programs. |
APPIA-GULP-PRODE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Elvira Albert, María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Improving Control in Functional Logic Program Specialization. |
SAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Specialization of Lazy Functional Logic Programs. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
integration of functional and logic programming, lazy narrowing, post-processing renaming, partial evaluation, term rewriting systems |
| 1 | María Alpuente, Moreno Falaschi, Pascual Julián Iranzo, Germán Vidal |
Call-By Name Partial Evaluation of Functional Logic Programs. |
APPIA-GULP-PRODE |
1996 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")