한국어
English Indonesia Türkçe Deutsch Español Português Pусский Français Italiano Nederlands Polski العربية ไทย Tiếng Việt 繁體中文 简体中文 日本語 한국어

#logicprogramming 검색 결과

EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 5. 22.

Yet another programming problem with a Logical solution. #SQL #LogicProgramming

EvgSkvDev's tweet image. Yet another programming problem with a Logical solution. #SQL #LogicProgramming
1
0
10
3
7천
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 5. 26.

Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica

EvgSkvDev's tweet image. Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica
1
0
0
0
91
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
. 7. 20.

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
출처: amazon.com
5
6
25
8
2천
frossi_t's profile picture. #AI #Ethics Global Leader and Distinguished Research Staff Member @IBMResearch | @IBM Fellow AAAI President
Francesca Rossi
 @frossi_t
2023. 7. 28.

After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog

frossi_t's tweet image. After 50 years, logic programming, in its several variants, is still successfully used in many application domains. This book celebrates the 50 years since Prolog’s invention and includes 31 papers on Prolog’s present, future, and applications. #logicprogramming #prolog
7
8
37
4
3천
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 5. 26.

Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic

EvgSkvDev's tweet image. Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic
1
1
1
1
176
kundankuma82593's profile picture. || Exploring the intersection of technology || #DataEntry || 5k+ follower's || #DigitalMarketing #GrowthStrategy|| telegram : https://t.co/zkkkXdQNWN
KUNDAN KUMAR CHOUDHARY
 @kundankuma82593
2023. 12. 27.

"Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "

kundankuma82593's tweet image. "Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "
0
0
0
0
238
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 6. 9.

Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming

EvgSkvDev's tweet image. Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming
0
1
2
0
210
yilin_xia's profile picture. A Graph Farmer 🧑‍🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Yilin Xia
 @yilin_xia
2023. 11. 7.

Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization

yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
1
2
2
0
1천
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 2. 7.

Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/4gpJXWv #logic #logicprogramming

CUP_SciEng's tweet image. Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/4gpJXWv #logic #logicprogramming
0
0
1
1
75
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 6. 26.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 6. 12.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
54
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 6. 14.

Now Robot Playground has some magic spells to collect. Learn Logic Programming, control the robots! logica.dev/robot.html #LogicProgramming #Logica #SQLite

0
0
0
0
112
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 2. 18.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming
0
0
0
0
50
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 8. 13.

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
47
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 1. 22.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming
0
0
0
0
70
architsch's profile picture. I am a game & web developer with an academic background in electrical engineering and DSP (Digital Signal Processing).
Youngjin Kang
 @architsch
. 10. 26.

Prolog is widely known as a logic programming language, but it can also be used for developing a game. Read Here: thingspool.net/morsels/page-2… #Prolog #LogicProgramming #Transpiler #Transcompiler #Typescript #GameEngine #Unity #DeclarativeProgramming #SymbolicAI #KnowledgeGraph

0
5
11
3
556
MikeChilson9's profile picture. Freelance Software Developer 🖥️, US Army Veteran 🪖, Amateur Astronomer 🔭, Aviation/Space nut ✈️🚀.
Mike Chilson 🐧
@MikeChilson9
2023. 2. 21.

Putting the finishing touches on a cool client project an SWI Prolog-based expert system for an equipment rental company. Prolog offers a unique way of solving problems and building intelligent systems. #prolog #logicprogramming #AI

0
2
1
0
119
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 8. 13.

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
47
KSasagawa888's profile picture. I love guitar. I love Lisp&Prolog. I love toy. エレキギターとLisp＆Prologとプラモデルを愛する変なおっさん。
@sasagawa888
 @KSasagawa888
. 7. 20.

Just published my new ebook on Prolog! It's packed with fun experiments, real examples, and covers topics like biology, quantum computing, and cryptography — all using Prolog. Check it out: amazon.com/dp/B0FJ6TNJY3 #Prolog #LogicProgramming #ebooks

KSasagawa888's tweet card. Prolog for the Intellectual Adventurer
Prolog for the Intellectual Adventurer
출처: amazon.com
5
6
25
8
2천
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
. 7. 12.

Proof theory and logic programming: Computation as proof search. ~ Dale Miller. lix.polytechnique.fr/Labo/Dale.Mill… #Logic #ProofTheory #LogicProgramming

0
0
8
4
313
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
. 7. 12.

Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. elibrary.kdpu.edu.ua/bitstream/1234… #LogicProgramming #Prolog #ASP #CLP

0
1
4
2
294
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 6. 26.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4eiZo3f #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 6. 12.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
54
Homi_Lung's profile picture. Homi-Lung is an European Horizon 2020 project designed to explore molecular and genetic connections between cardiovascular diseases and respiratory illnesses.
Homi-Lung
 @Homi_Lung
. 6. 10.

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Homi_Lung's tweet image. 🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming
2
0
0
0
18
Jose_A_Alonso's profile picture. Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
José A. Alonso
 @Jose_A_Alonso
. 6. 9.

Teaching and learning mathematics with Prolog. ~ Tom Bensky (2021). arxiv.org/abs/2108.09893 #Prolog #LogicProgramming #Math

0
0
6
4
297
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 5. 22.

Yet another programming problem with a Logical solution. #SQL #LogicProgramming

EvgSkvDev's tweet image. Yet another programming problem with a Logical solution. #SQL #LogicProgramming
1
0
10
3
7천
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 5. 26.

Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica

EvgSkvDev's tweet image. Here is a more elaborate example of value lookup. #SQL #LogicProgramming #Logica
1
0
0
0
91
rustcodeweb's profile picture. https://t.co/9OcmA6o6Ba
Rustcode
 @rustcodeweb
2024. 8. 4.

7/ Prolog: A logic programming language primarily used in AI and computational linguistics. Its declarative approach is different from most imperative languages. 🤖 #Prolog #LogicProgramming

rustcodeweb's tweet image. 7/ Prolog: A logic programming language primarily used in AI and computational linguistics. Its declarative approach is different from most imperative languages. 🤖 #Prolog #LogicProgramming
1
0
1
0
23
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 5. 26.

Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic

EvgSkvDev's tweet image. Sometimes it is convenient to have mapping stored in one object rather than a table. Here is how you lookup value for a key in Logica. Thread 1 / 2 #SQL #LogicProgramming #Logic
1
1
1
1
176
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 2. 18.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/4hGXRVz #logic #logicprogramming
0
0
0
0
50
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 1. 22.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3CfIjIW #logic #logicprogramming
0
0
0
0
70
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 6. 12.

New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming

CUP_SciEng's tweet image. New Issue of Theory and Practice of Logic Programming now available 📚 cup.org/3HyMfa1 #logic #logicprogramming
0
0
0
0
54
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2023. 10. 13.

New issue of Theory and Practice of Logic Programming now available 📚 cup.org/3Ms5eSf #logic #logicprogramming

CUP_SciEng's tweet image. New issue of Theory and Practice of Logic Programming now available 📚 cup.org/3Ms5eSf #logic #logicprogramming
0
0
0
0
100
EvgSkvDev's profile picture. Software Engineer at Google. Opinions are my own.
Evgeny Skvortsov
@EvgSkvDev
2023. 6. 9.

Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming

EvgSkvDev's tweet image. Logica's Good Robot playground is here! logica.dev/robot.html How fast can you escape the forest? #Logica #Robotics #LogicProgramming
0
1
2
0
210
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
. 8. 13.

Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming

CUP_SciEng's tweet image. Check out the most-read articles from Theory and Practice of Logic Programming here: 📚 cup.org/41slGKI #logic #logicprogramming
0
0
0
0
47
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2024. 3. 23.

Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/3TpcXEh #logic #logicprogramming

CUP_SciEng's tweet image. Sign up for alerts to receive regular content updates from Theory and Practice of Logic Programming 📚 cup.org/3TpcXEh #logic #logicprogramming
0
0
1
0
81
yilin_xia's profile picture. A Graph Farmer 🧑‍🌾 Ph.D. student @UofIllinois Core Contributor @arviz_devs Formerly @Airbus | GSOC'22
Yilin Xia
 @yilin_xia
2023. 11. 7.

Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization

yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
yilin_xia's tweet image. Diving into theory while LLM trend! Thrilled to be collaborating with my advisor @ludaesch and Dr. Shawn Bowers on bringing game theory, queries, and argumentation together. Let's act as detectives to reason through graphs! #AIxIA #logicprogramming #visualization
1
2
2
0
1천
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2024. 5. 4.

Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3Uto2oa #logic #logicprogramming

CUP_SciEng's tweet image. Interested in submitting your article to Theory and Practice of Logic Programming? Click here for more information. 📚 cup.org/3Uto2oa #logic #logicprogramming
0
0
1
0
111
CUP_SciEng's profile picture. The latest news in Physics, Computer Science, Engineering, Astronomy and Astrophysics from @CambridgeUP
Cambridge University Press - Science & Engineering
@CUP_SciEng
2024. 1. 1.

Theory and Practice of Logic Programming is pleased to welcome Pedro Cabalar as the new Area Editor (Theoretical Foundations) from 1st January 2024 📚 cup.org/47h2uj2 #logic #logicprogramming

CUP_SciEng's tweet image. Theory and Practice of Logic Programming is pleased to welcome Pedro Cabalar as the new Area Editor (Theoretical Foundations) from 1st January 2024 📚 cup.org/47h2uj2 #logic #logicprogramming
0
0
3
1
130
ecomputerbooks's profile picture. Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials
Free Computer Books
 @ecomputerbooks
. 12. 15.

Mathematical Aspects of Logic Programming Semantics - lnkd.in/etcTaD7p Look for "Read and Download Links" section to download. #math #Logic #LogicProgramming #programming

ecomputerbooks's tweet image. Mathematical Aspects of Logic Programming Semantics - lnkd.in/etcTaD7p Look for "Read and Download Links" section to download. #math #Logic #LogicProgramming #programming
0
0
0
0
23
kundankuma82593's profile picture. || Exploring the intersection of technology || #DataEntry || 5k+ follower's || #DigitalMarketing #GrowthStrategy|| telegram : https://t.co/zkkkXdQNWN
KUNDAN KUMAR CHOUDHARY
 @kundankuma82593
2023. 12. 27.

"Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "

kundankuma82593's tweet image. "Diving into the world of logic programming, where rules and relationships shape the code. Prolog, Datalog , and friends are paving the way for elegant problem-solving. Unleashing the power of declarative knowledge for smarter, more efficient programs! #LogicProgramming "
0
0
0
0
238
Homi_Lung's profile picture. Homi-Lung is an European Horizon 2020 project designed to explore molecular and genetic connections between cardiovascular diseases and respiratory illnesses.
Homi-Lung
 @Homi_Lung
. 6. 10.

🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming

Homi_Lung's tweet image. 🧵How can we learn from clinical data when 70% of it is missing? In a new blog post, Homi-Lung researchers present a logic-based method to extract insights from incomplete datasets in hospital-acquired pneumonia (HAP). 👇 homilung.com/how-can-we-lea… #HAP #AI #logicprogramming
2
0
0
0
18

Something went wrong.


Something went wrong.


United States Trends